Semantics for some intermediate logics.
Publications de l'Institut Mathématique. Nouvelle Série (1985)
- Volume: 37(51), page 7-15
- ISSN: 0350-1302
Access Full Article
top
How to cite
topBožić, Milan. "Semantics for some intermediate logics.." Publications de l'Institut Mathématique. Nouvelle Série 37(51) (1985): 7-15. <http://eudml.org/doc/257717>.
@article{Božić1985,
author = {Božić, Milan},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {ordering formulas; Kripke-type models},
language = {eng},
pages = {7-15},
publisher = {Izdaje Matematički Institut SANU},
title = {Semantics for some intermediate logics.},
url = {http://eudml.org/doc/257717},
volume = {37(51)},
year = {1985},
}
TY - JOUR
AU - Božić, Milan
TI - Semantics for some intermediate logics.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1985
PB - Izdaje Matematički Institut SANU
VL - 37(51)
SP - 7
EP - 15
LA - eng
KW - ordering formulas; Kripke-type models
UR - http://eudml.org/doc/257717
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.