A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
Publications de l'Institut Mathématique (1991)
- Volume: 50(64), Issue: 70, page 7-13
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMiodrag Rašković. "A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers." Publications de l'Institut Mathématique 50(64).70 (1991): 7-13. <http://eudml.org/doc/257877>.
@article{MiodragRašković1991,
author = {Miodrag Rašković},
journal = {Publications de l'Institut Mathématique},
keywords = {completeness; infinitary intuitionistic logic; probabilistic quantifiers; Kripke semantics},
language = {eng},
number = {70},
pages = {7-13},
publisher = {Matematički institut SANU},
title = {A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers},
url = {http://eudml.org/doc/257877},
volume = {50(64)},
year = {1991},
}
TY - JOUR
AU - Miodrag Rašković
TI - A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
JO - Publications de l'Institut Mathématique
PY - 1991
PB - Matematički institut SANU
VL - 50(64)
IS - 70
SP - 7
EP - 13
LA - eng
KW - completeness; infinitary intuitionistic logic; probabilistic quantifiers; Kripke semantics
UR - http://eudml.org/doc/257877
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.