Positive logic with double negation.
Publications de l'Institut Mathématique. Nouvelle Série (1984)
- Volume: 35(49), page 21-31
- ISSN: 0350-1302
Access Full Article
topHow to cite
topBožić, Milan. "Positive logic with double negation.." Publications de l'Institut Mathématique. Nouvelle Série 35(49) (1984): 21-31. <http://eudml.org/doc/117903>.
@article{Božić1984,
author = {Božić, Milan},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus},
language = {eng},
pages = {21-31},
publisher = {Izdaje Matematički Institut SANU},
title = {Positive logic with double negation.},
url = {http://eudml.org/doc/117903},
volume = {35(49)},
year = {1984},
}
TY - JOUR
AU - Božić, Milan
TI - Positive logic with double negation.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1984
PB - Izdaje Matematički Institut SANU
VL - 35(49)
SP - 21
EP - 31
LA - eng
KW - Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus
UR - http://eudml.org/doc/117903
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.