On the structural completeness of some pure implicational propositional calculi

DOI10.1007/BF02120824MaRDI QIDQ2562773zbMATH OpenFDO

Authors Tadeusz Prucnal

Publication date 1972

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02120824

Mathematics Subject Classification ID

Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cites work

• INVESTIGATIONS INTO IMPLICATIONAL S5
• On the scope of the classical deduction theorem

Cited in

(19)

• On structural completeness of implicational logics
• Matrix approach in methodology of sentential calculi
• Proof of structural completeness of a certain class of implicative propositional calculi
• Structural completeness of Gödel's and Dummett's propositional calculi
• Admissibility in positive logics
• A category equivalence for odd Sugihara monoids and its applications
• Structural completeness in many-valued logics with rational constants
• On rules
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• A syntactic approach to unification in transitive reflexive modal logics
• Tutorial on admissible rules in Gudauri
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• Hereditarily structurally complete positive logics
• Singly generated quasivarieties and residuated structures
• Idempotent residuated structures: Some category equivalences and their applications
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Inquisitive split and structural completeness
• Algebraic semantics for a mixed type fragment of IPC
• Hereditarily structurally complete extensions of \(\mathbf{RM}\)

This page was built for publication: On the structural completeness of some pure implicational propositional calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2562773)