A note on finite axiomatization of partial propositional calculi

DOI10.2307/2270777zbMath0162.31203OpenAlexW2163051542MaRDI QIDQ5545947

W. E. Singletary

Publication date: 1967

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

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

zbMATH Keywords

algebraic logic, model theory

Related Items (2)

Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ Translations and structure for partial propositional calculi

Cites Work

• A detailed argument for the Post-Linial theorems
• A complex of problems proposed by Post

This page was built for publication: A note on finite axiomatization of partial propositional calculi