A note on some intermediate propositional calculi

DOI10.2307/2274168zbMath0555.03013OpenAlexW2138158646MaRDI QIDQ3218107

Branislav R. Boričić

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274168

zbMATH Keywords

intermediate propositional logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

An alternative normalization of the implicative fragment of classical logic

Cites Work

• Unnamed Item
• A propositional calculus with denumerable matrix
• Algebraic proof of the separation theorem on classical propositional calculus
• On the separation theorem of intermediate propositional calculi
• Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$

This page was built for publication: A note on some intermediate propositional calculi