On the structural completeness of some pure implicational propositional calculi
From MaRDI portal
Publication:2562773
DOI10.1007/BF02120824zbMath0268.02013MaRDI QIDQ2562773
Publication date: 1972
Published in: Studia Logica (Search for Journal in Brave)
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
This page was built for publication: On the structural completeness of some pure implicational propositional calculi