On theories and models in fuzzy predicate logics
From MaRDI portal
Publication:3410679
DOI10.2178/jsl/1154698581zbMath1111.03030OpenAlexW2091957209MaRDI QIDQ3410679
Publication date: 29 November 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1154698581
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Basic properties of first-order languages and structures (03C07)
Related Items (42)
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ Fraïssé classes of graded relational structures ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ On elementary equivalence in fuzzy predicate logics ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ Mathematical Fuzzy Logics ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Non-commutative first-order EQ-logics ⋮ Conservative expansions of substructural logics ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Introduction ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ On quasi-varieties of multiple valued logic models ⋮ Forcing in Łukasiewicz predicate logic ⋮ On copulas, quasicopulas and fuzzy logic ⋮ Density elimination ⋮ Fuzzy intensional semantics ⋮ Elements of model theory in higher-order fuzzy logic ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ On Fuzzy Theories with Crisp Sentences ⋮ Fuzzy sets and formal logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Fuzzy logics with an additional involutive negation ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Back-and-forth systems for fuzzy first-order models ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic ⋮ Note on witnessed Gödel logics with Delta ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Unranked fuzzy logic and reasoning ⋮ On witnessed models in fuzzy logic
Cites Work
- Product Łukasiewicz logic
- Arithmetical complexity of fuzzy predicate logics -- a survey
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
- A survey of abstract algebraic logic
- Residuated fuzzy logics with an involutive negation
- Making fuzzy description logic more general
- A propositional calculus with denumerable matrix
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- A note on the notion of truth in fuzzy logic
- The design of decision trees in the framework of granular data and their application to software quality models
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
This page was built for publication: On theories and models in fuzzy predicate logics
