Some structure results for propositional calculi
From MaRDI portal
Publication:5582301
Cites work
- A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
- A complex of problems proposed by Post
- A propositional calculus with denumerable matrix
- An extension algebra and the modal system
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Modal Logics Between S 4 and S 5
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- On a fragment of the implicative propositional calculus
- On closed elements in closure algebras
- On disjunctions and existential statements in intuitionistic systems of logic
- On intermediate many-valued logics
- Partial results regarding word problems and recursively enumerable degrees of unsolvability
- Results concerning the decision problem of Lewis's calculi S3 and S6
- Some theorems about the sentential calculi of Lewis and Heyting
- The Finite Model Property and Subsystems of Classical Propositional Calculus
Cited in
(16)- A Couple of Novelties in the Propositional Calculus
- scientific article; zbMATH DE number 4016868 (Why is no real title available?)
- Some results concerning finite model separability of propositional calculi
- The classification of propositional calculi
- Equational axioms for classes of Heyting algebras
- A Schemata Calculus for Propositional Logic
- Semantic analysis of tense logics
- Criterion for propositional calculi to be finitely generated
- Varieties of algebraic systems and propositional calculi
- A consistent prepositional logic without any finite models
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension
- Matrix approach in methodology of sentential calculi
- Algorithms for finding matrix models of propositional calculi
- scientific article; zbMATH DE number 66912 (Why is no real title available?)
- The finite model property and recursive bounds on the size of countermodels
- Some remarks on the concept of completeness of the propositional calculus. I
This page was built for publication: Some structure results for propositional calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5582301)