Triangular norm based predicate fuzzy logics
From MaRDI portal
Publication:2270233
DOI10.1016/j.fss.2009.09.006zbMath1200.03020OpenAlexW2138022794MaRDI QIDQ2270233
Publication date: 18 March 2010
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2009.09.006
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (35)
Computing sets of graded attribute implications with witnessed non-redundancy ⋮ Pseudovarieties of algebras with fuzzy equalities. ⋮ Construction of finite \(\mathbf L\)-groups. ⋮ Relations in fuzzy class theory: initial steps ⋮ First-order nilpotent minimum logics: first steps ⋮ Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ On elementary equivalence in fuzzy predicate logics ⋮ An early approach toward graded identity and graded membership in set theory ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ On similarity in fuzzy description logics ⋮ On properties of pseudointegrals based on pseudoaddition decomposable measures ⋮ Variety theorem for algebras with fuzzy orders ⋮ Fuzzy intensional semantics ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ Triangular norm based graded convex fuzzy sets ⋮ \(n\)-contractive BL-logics ⋮ On Fuzzy Theories with Crisp Sentences ⋮ Fuzzy sets and formal logics ⋮ Fuzzy logics with an additional involutive negation ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ Continuous triangular norm based fuzzy topology ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Relational division in rank-aware databases ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ Invariance to ordinal transformations in rank-aware databases ⋮ A theorem about infinite-valued sentential logic ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Relational compositions in fuzzy class theory
Cites Work
- Existence and feasibility in arithmetic
- A note on Hájek, Paris and Shepherdson's theorem
- A non-arithmetical Gödel logic
- A weak completeness theorem for infinite valued first-order logic
- Fuzzy equational logic
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Fuzzy logic. Mathematical tools for approximate reasoning
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Product Łukasiewicz logic
- On fuzzy type theory
- The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
- Arithmetical complexity of fuzzy predicate logics -- a survey
- On the difference between traditional and deductive fuzzy logic
- A formal theory of intermediate quantifiers
- Relations in fuzzy class theory: initial steps
- Filters in fuzzy class theory
- Solution of a system of linear equations with fuzzy numbers
- A comprehensive theory of trichotomous evaluative linguistic expressions
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Forcing in Łukasiewicz predicate logic
- Implicational (semilinear) logics. I: A new hierarchy
- On vagueness, truth values and fuzzy logics
- Comprehension contradicts to the induction within Łukasiewicz predicate logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Relational compositions in fuzzy class theory
- On the logic of informational independence and its applications
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- A survey of abstract algebraic logic
- Birkhoff variety theorem and fuzzy logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- On the predicate logics of continuous t-norm BL-algebras
- Adding involution to residuated structures
- Standard completeness theorem for \(\Pi\)MTL
- Varieties of BL-algebras. I: General properties.
- Observations on the monoidal t-norm logic
- A complete many-valued logic with product-conjunction
- Residuated fuzzy logics with an involutive negation
- On expansions of WNM t-norm based logics with truth-constants
- Making fuzzy description logic more general
- Fuzzy class theory
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- Formal systems of fuzzy logic and their fragments
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
- Strong non-standard completeness for fuzzy logics
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- Weakly implicative (fuzzy) logics. I: Basic properties
- Proof theory for fuzzy logics
- Fuzzy Horn logic. I. Proof theory.
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
- A propositional calculus with denumerable matrix
- A New Version of Some Considerations of A. Thue.
- Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
- On theories and models in fuzzy predicate logics
- On Weakly Cancellative Fuzzy Logics
- On witnessed models in fuzzy logic
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- Mathematical Fuzzy Logics
- Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- Fuzzy Models of First Order Languages
- On Fuzzy Logic I Many‐valued rules of inference
- Untersuchungen zur Mehrwertigen Mengenlehre. I
- Untersuchungen zur Mehrwertigen Mengenlehre. II
- Untersuchungen zur Mehrwertigen Mengenlehre. III
- Fuzzy Logics with Noncommutative Conjuctions
- Hoops and Fuzzy Logic
- Kripke‐style semantics for many‐valued logics
- The sorites paradox and fuzzy logic
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Joint Consistency of Fuzzy Theories
- The liar paradox and fuzzy logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Computer Science Logic
- On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
- Substructural fuzzy logics
- Topology in Fuzzy Class Theory: Basic Notions
- Features of Mathematical Theories in Formal Fuzzy Logic
- On witnessed models in fuzzy logic II
- On Product Logic with Truth-constants
- Omitting types in fuzzy logic with evaluated syntax
- The Axiom of Comprehension in Infinite Valued Logic.
- Fuzzy sets
This page was built for publication: Triangular norm based predicate fuzzy logics
