On decision procedures for sentential logics
From MaRDI portal
Publication:1181478
DOI10.1007/BF00370180zbMath0739.03010MaRDI QIDQ1181478
Publication date: 27 June 1992
Published in: Studia Logica (Search for Journal in Brave)
decidability; Harrop's criterion; Łukasiewicz-style refutation procedures; Tarski consequence operators
Related Items
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Refutation systems in modal logic, Syntactic refutations against finite models in modal logic, Paraconsistency in classical logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantical investigations in Heyting's intuitionistic logic
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
- Theory of rejected propositions. I
- Computable Algebra, General Theory and Theory of Computable Fields