An intuitionistic logic with probablistic operators.
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
Publications de l'Institut Mathématique. Nouvelle Série (2003)
- Volume: 73(87), page 31-38
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMarković, Zoran, Ognjanović, Zoran, and Rašković, Miodrag. "An intuitionistic logic with probablistic operators.." Publications de l'Institut Mathématique. Nouvelle Série 73(87) (2003): 31-38. <http://eudml.org/doc/258203>.
@article{Marković2003,
author = {Marković, Zoran, Ognjanović, Zoran, Rašković, Miodrag},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {propositional probabilistic intuitionistic logic; probabilistic Kripke semantics; satisfiability; validity; axiomatization},
language = {eng},
pages = {31-38},
publisher = {Izdaje Matematički Institut SANU},
title = {An intuitionistic logic with probablistic operators.},
url = {http://eudml.org/doc/258203},
volume = {73(87)},
year = {2003},
}
TY - JOUR
AU - Marković, Zoran
AU - Ognjanović, Zoran
AU - Rašković, Miodrag
TI - An intuitionistic logic with probablistic operators.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 2003
PB - Izdaje Matematički Institut SANU
VL - 73(87)
SP - 31
EP - 38
LA - eng
KW - propositional probabilistic intuitionistic logic; probabilistic Kripke semantics; satisfiability; validity; axiomatization
UR - http://eudml.org/doc/258203
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.