The following pages link to (Q4893133):
Displayed 42 items.
- On good EQ-algebras (Q409738) (← links)
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges (Q427921) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Truth-depressing hedges and BL-logic (Q853470) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach (Q877263) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- On the (fuzzy) logical content of CADIAG-2 (Q983067) (← links)
- Continuous Fraïssé conjecture (Q1013988) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- On very true (Q1349204) (← links)
- Systems of ordinal fuzzy logic with application to preference modelling (Q1349206) (← links)
- Residuated fuzzy logics with additional connectives and their validation sets. (Q1428675) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- On the role of logical connectives for primality and functional completeness of algebras of logics (Q2269795) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- First-order Gödel logics (Q2370370) (← links)
- What is mathematical fuzzy logic (Q2492308) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches (Q2498365) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
- Mathematical fuzzy logic as a tool for the treatment of vague information (Q2568251) (← links)
- Partial algebras for Łukasiewicz logics and its extensions (Q2573729) (← links)
- Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators (Q5936152) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
- Complexity of t-tautologies (Q5957903) (← links)