Positive Logic with Double Negation
Publications de l'Institut Mathématique (1984)
- Volume: 35(49), Issue: 55, page 21-32
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMilan Božić. "Positive Logic with Double Negation." Publications de l'Institut Mathématique 35(49).55 (1984): 21-32. <http://eudml.org/doc/256117>.
@article{MilanBožić1984,
author = {Milan Božić},
journal = {Publications de l'Institut Mathématique},
keywords = {Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus},
language = {eng},
number = {55},
pages = {21-32},
publisher = {Matematički institut SANU},
title = {Positive Logic with Double Negation},
url = {http://eudml.org/doc/256117},
volume = {35(49)},
year = {1984},
}
TY - JOUR
AU - Milan Božić
TI - Positive Logic with Double Negation
JO - Publications de l'Institut Mathématique
PY - 1984
PB - Matematički institut SANU
VL - 35(49)
IS - 55
SP - 21
EP - 32
LA - eng
KW - Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus
UR - http://eudml.org/doc/256117
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.