Structural completeness of Gödel's and Dummett's propositional calculi

DOI10.1007/BF02123815zbMath0345.02036OpenAlexW2026707065MaRDI QIDQ1233020

Wojciech Dzik, Andrzej Wroński

Publication date: 1973

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Related Items (15)

UNIFICATION IN INTERMEDIATE LOGICS ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Epimorphisms in varieties of residuated structures ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Structural and universal completeness in algebra and logic ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ Idempotent residuated structures: Some category equivalences and their applications

Cites Work

• Unnamed Item
• Finite limitations on Dummett's LC
• On the structural completeness of some pure implicational propositional calculi
• A propositional calculus with denumerable matrix

This page was built for publication: Structural completeness of Gödel's and Dummett's propositional calculi