# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.