Pages that link to "Item:Q3656765"
From MaRDI portal
The following pages link to Logics Preserving Degrees of Truth from Varieties of Residuated Lattices (Q3656765):
Displaying 23 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Gödel logics with monotone operators (Q1759702) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- On Conjectures in t-Norm Based Fuzzy Logics (Q2974677) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples (Q5861770) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)