The following pages link to (Q5406033):
Displaying 50 items.
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- Graded dominance and related graded properties of fuzzy connectives (Q529059) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Why are papers about filters on residuated structures (usually) trivial? (Q726485) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- A general theory of fuzzy arithmetic (Q751657) (← links)
- A logic of graded attributes (Q892134) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Density revisited (Q1699744) (← links)
- Towards a probability theory for product logic: states, integral representation and reasoning (Q1726388) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
- Extending fuzzy logics with many hedges (Q1795208) (← links)
- States of finite GBL-algebras with monoidal sum (Q2013841) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Implicational partial Galois logics: relational semantics (Q2070426) (← links)
- Fuzzy relational modalities admitting truth-valueless propositions (Q2219167) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- From fuzzy logic to fuzzy mathematics: a methodological manifesto (Q2492315) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- The principles of fuzzy logic: Its mathematical and computational aspects (Q2784600) (← links)
- (Q4944909) (← links)
- (Q5084205) (← links)
- (Q5863756) (← links)
- Multi-adjoint lattice logic and truth-stressing hedges (Q6079416) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
- Linear abelian modal logic (Q6555699) (← links)
