EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 35(49), pp. 21--31 (1984)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

POSITIVE LOGIC WITH DOUBLE NEGATION

Milan Bozi\'c

Matematicki fakultet, Beograd, Yugoslavia

Abstract: The fragment of the Heyting propositional calculus which contains double negation but does not contain negation is axiomatized by treating double negation as a necessity operator. The resulting system is shown sound and complete with respect to a specific class of Kripke-style models with two accessibility relations, one intuitionistic and the other modal.

Classification (MSC2000): 03B45

Full text of the article:

Electronic fulltext finalized on: 3 Nov 2001. This page was last modified: 22 Aug 2002.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001--2002 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition