Algebraic Completeness Results for Dummett's LC and Its Extensions

Cited In (34)

Epimorphisms in varieties of residuated structures
First-order nilpotent minimum logics: first steps
Equational axioms for classes of Heyting algebras
Terminating calculi for propositional Dummett logic with subformula property
A semantic hierarchy for intuitionistic logic
Strong decidability and strong recognizability
A Kripke-style semantics for R-mingle using a binary accessibility relation
Quantification and RM
A generalized proof-theoretic approach to logical argumentation based on hypersequents
Maksimova, relevance and the study of lattices of non-classical logics
Hypersequents, logical consequence and intermediate logics for concurrency
\(\mathbf{RM}\) and its nice properties
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
Fragments of R-mingle
Aggregation and idempotence
Matrix approach in methodology of sentential calculi
Nonfinitely approximable intuitionistic modal logics
Continuous Fraïssé conjecture
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
On pretabular extensions of relevance logic
The logic of the strongest and the weakest t-norms
A category equivalence for odd Sugihara monoids and its applications
Nilpotent Minimum Logic NM and Pretabularity
Linear Logic Properly Displayed
Simple axiomatizations for pretabular classical relevance logics
A second pretabular classical relevance logic
The tabularity problem over the minimal logic
Slices and levels of extensions of the minimal logic
Pretabular superintuitionistic logic
Connecting fuzzy logic and argumentation frames via logical attack principles
First-order satisfiability in Gödel logics: an NP-complete fragment
LC and its pretabular relatives
A pretabular classical relevance logic
Two pretabular linear extensions of relevance logic R

This page was built for publication: Algebraic Completeness Results for Dummett's LC and Its Extensions

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