Some structure results for propositional calculi

DOI10.2307/2269618MaRDI QIDQ5582301zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A complex of problems proposed by Post
• A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
• 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)

• The finite model property and recursive bounds on the size of countermodels
• Varieties of algebraic systems and propositional calculi
• Algorithms for finding matrix models of propositional calculi
• Some remarks on the concept of completeness of the propositional calculus. I
• Matrix approach in methodology of sentential calculi
• Equational axioms for classes of Heyting algebras
• Some results concerning finite model separability of propositional calculi
• The classification of propositional calculi
• Criterion for propositional calculi to be finitely generated
• scientific article; zbMATH DE number 4016868 (Why is no real title available?)
• A Schemata Calculus for Propositional Logic
• A Couple of Novelties in the Propositional Calculus
• A consistent prepositional logic without any finite models
• scientific article; zbMATH DE number 66912 (Why is no real title available?)
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Semantic analysis of tense logics

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)