A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
Publications de l'Institut Mathématique (1983)
- Volume: 34(48), Issue: 54, page 19-26
- ISSN: 0350-1302
Access Full Article
top
How to cite
topBranislav R. Boričić. "A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi." Publications de l'Institut Mathématique 34(48).54 (1983): 19-26. <http://eudml.org/doc/257646>.
@article{BranislavR1983,
author = {Branislav R. Boričić},
journal = {Publications de l'Institut Mathématique},
keywords = {Heyting's propositional calculus; syntactic decision procedure; disjunction free fragment},
language = {eng},
number = {54},
pages = {19-26},
publisher = {Matematički institut SANU},
title = {A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi},
url = {http://eudml.org/doc/257646},
volume = {34(48)},
year = {1983},
}
TY - JOUR
AU - Branislav R. Boričić
TI - A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
JO - Publications de l'Institut Mathématique
PY - 1983
PB - Matematički institut SANU
VL - 34(48)
IS - 54
SP - 19
EP - 26
LA - eng
KW - Heyting's propositional calculus; syntactic decision procedure; disjunction free fragment
UR - http://eudml.org/doc/257646
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.