On the structural completeness of some pure implicational propositional calculi

DOI10.1007/BF02120824zbMath0268.02013MaRDI QIDQ2562773

Tadeusz Prucnal

Publication date: 1972

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

On rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Tutorial on Admissible Rules in Gudauri ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Admissibility in positive logics ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Singly generated quasivarieties and residuated structures ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ 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 ⋮ Structural completeness in many-valued logics with rational constants ⋮ Idempotent residuated structures: Some category equivalences and their applications

Cites Work

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

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