Some structure results for propositional calculi
From MaRDI portal
Publication:5582301
DOI10.2307/2269618zbMATH Open0188.31401OpenAlexW2046780264MaRDI QIDQ5582301FDOQ5582301
Authors: Ronald Harrop 
Publication date: 1965
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269618
Cites Work
- A propositional calculus with denumerable matrix
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- On closed elements in closure algebras
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Some theorems about the sentential calculi of Lewis and Heyting
- Modal Logics Between S 4 and S 5
- An extension algebra and the modal system
- On a fragment of the implicative propositional calculus
- On disjunctions and existential statements in intuitionistic systems of logic
- On intermediate many-valued logics
- The Finite Model Property and Subsystems of Classical Propositional Calculus
- Partial results regarding word problems and recursively enumerable degrees of unsolvability
- A complex of problems proposed by Post
- A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
- Results concerning the decision problem of Lewis's calculi S3 and S6
Cited In (16)
- Title not available (Why is that?)
- Some results concerning finite model separability of propositional calculi
- The classification of propositional calculi
- Equational axioms for classes of Heyting algebras
- Semantic analysis of tense logics
- A Schemata Calculus for Propositional Logic
- 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
- Title not available (Why is that?)
- The finite model property and recursive bounds on the size of countermodels
- Some remarks on the concept of completeness of the propositional calculus. I
- A Couple of Novelties in the Propositional Calculus
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)
