Pages that link to "Item:Q3410679"
From MaRDI portal
The following pages link to On theories and models in fuzzy predicate logics (Q3410679):
Displayed 42 items.
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- On copulas, quasicopulas and fuzzy logic (Q939182) (← links)
- Density elimination (Q944384) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← 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)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new'' results really new? (Q1634480) (← links)
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Unranked fuzzy logic and reasoning (Q2086405) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Fuzzy relational modalities admitting truth-valueless propositions (Q2219167) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- On quasi-varieties of multiple valued logic models (Q2996230) (← links)
- On witnessed models in fuzzy logic (Q3423151) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- Fuzzy intensional semantics (Q4646654) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- On Fuzzy Theories with Crisp Sentences (Q5426005) (← links)
- Introduction (Q5892200) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Conservative expansions of substructural logics (Q6201549) (← links)