A note on deduction theorem for Gödel's propositional calculus G4
From MaRDI portal
Publication:1217692
DOI10.1007/BF02124617zbMath0307.02012OpenAlexW2397332685MaRDI QIDQ1217692
Publication date: 1968
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02124617
Related Items (2)
The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ The deducibilities of S5
Cites Work
This page was built for publication: A note on deduction theorem for Gödel's propositional calculus G4
