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