The following pages link to (Q4893133):
Displayed 50 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- 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)
- A map of dependencies among three-valued logics (Q497633) (← links)
- On minimal sets of graded attribute implications (Q526697) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- An extension of Stone duality to fuzzy topologies and MV-algebras (Q679839) (← 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)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← 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)
- On the classification of first order Gödel logics (Q1616771) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- \(C_n\mathrm{MV}_m\)-algebras (Q1703676) (← links)
- Undead argument: the truth-functionality objection to fuzzy theories of vagueness (Q1708883) (← links)
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← 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)