PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 35(49), pp. 21--31 (1984)
POSITIVE LOGIC WITH DOUBLE NEGATION
Milan Bozi\'cMatematicki 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