Intuitionistic double negation as a necessity operator.
Publications de l'Institut Mathématique. Nouvelle Série (1984)
- Volume: 35(49), page 15-20
- ISSN: 0350-1302
Access Full Article
top
How to cite
topDošen, Kosta. "Intuitionistic double negation as a necessity operator.." Publications de l'Institut Mathématique. Nouvelle Série 35(49) (1984): 15-20. <http://eudml.org/doc/257669>.
@article{Došen1984,
author = {Došen, Kosta},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {Kripke models; intuitionistic propositional modal logic; necessity operator; intuitionistic double negation},
language = {eng},
pages = {15-20},
publisher = {Izdaje Matematički Institut SANU},
title = {Intuitionistic double negation as a necessity operator.},
url = {http://eudml.org/doc/257669},
volume = {35(49)},
year = {1984},
}
TY - JOUR
AU - Došen, Kosta
TI - Intuitionistic double negation as a necessity operator.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1984
PB - Izdaje Matematički Institut SANU
VL - 35(49)
SP - 15
EP - 20
LA - eng
KW - Kripke models; intuitionistic propositional modal logic; necessity operator; intuitionistic double negation
UR - http://eudml.org/doc/257669
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.