scientific article
From MaRDI portal
Publication:3762312
zbMath0624.03046MaRDI QIDQ3762312
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebrasdeduction theoremembeddability of quotient algebrasintermediate consequence operations
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Congruence modularity, congruence distributivity (08B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (5)
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 ⋮ On structural completeness of implicational logics
This page was built for publication:
