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

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

INTUITIONISTIC DOUBLE NEGATION AS A NECESSITY OPERATOR

Kosta Dosen

Matematicki institut SANU, Beograd, Yugoslavia

Abstract: An intuitionistic propositional modal logic in which we have a necessity operator equivalent to intuitionistic double negation is proved sound and complete with respect to Kripke-style models with two relations, one intuitionistic and the other modal. It is shown how the holding of formulae characteristic for this logic is equivalent to conditions for the relations of the models.

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