PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 35(49), pp. 15--20 (1984)
INTUITIONISTIC DOUBLE NEGATION AS A NECESSITY OPERATOR
Kosta DosenMatematicki 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