Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
Publications de l'Institut Mathématique (1981)
- Volume: 29(43), Issue: 49, page 23-28
- ISSN: 0350-1302
Access Full Article
top
How to cite
topBranislav R. Boričić. "Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus." Publications de l'Institut Mathématique 29(43).49 (1981): 23-28. <http://eudml.org/doc/254877>.
@article{BranislavR1981,
author = {Branislav R. Boričić},
journal = {Publications de l'Institut Mathématique},
keywords = {Heyting propositional calculus; pseudo-Boolean algebra of propositional formulas; free cylindric algebra of first-order formulas; Heyting first- order predicate calculus; uniform algebras},
language = {eng},
number = {49},
pages = {23-28},
publisher = {Matematički institut SANU},
title = {Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus},
url = {http://eudml.org/doc/254877},
volume = {29(43)},
year = {1981},
}
TY - JOUR
AU - Branislav R. Boričić
TI - Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
JO - Publications de l'Institut Mathématique
PY - 1981
PB - Matematički institut SANU
VL - 29(43)
IS - 49
SP - 23
EP - 28
LA - eng
KW - Heyting propositional calculus; pseudo-Boolean algebra of propositional formulas; free cylindric algebra of first-order formulas; Heyting first- order predicate calculus; uniform algebras
UR - http://eudml.org/doc/254877
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.