Triangular norm based predicate fuzzy logics
From MaRDI portal
Recommendations
- A triangular norm-based fuzzy predicate logic
- A triangular-norm-based propositional fuzzy logic
- On triangular norm-based propositional fuzzy logics
- scientific article; zbMATH DE number 2209491
- A survey on different triangular norm-based fuzzy logics
- Studies in fuzzy relations using triangular norms
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Fuzzy algebra in triangular norm system
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Logic-based fuzzy networks: a study in system modeling with triangular norms and uninorms
Cites work
- scientific article; zbMATH DE number 1670477 (Why is no real title available?)
- scientific article; zbMATH DE number 440109 (Why is no real title available?)
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- scientific article; zbMATH DE number 51770 (Why is no real title available?)
- scientific article; zbMATH DE number 2042620 (Why is no real title available?)
- scientific article; zbMATH DE number 2113968 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- scientific article; zbMATH DE number 2199279 (Why is no real title available?)
- scientific article; zbMATH DE number 5241974 (Why is no real title available?)
- scientific article; zbMATH DE number 3248026 (Why is no real title available?)
- scientific article; zbMATH DE number 3269022 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 2209491 (Why is no real title available?)
- scientific article; zbMATH DE number 2209905 (Why is no real title available?)
- A New Version of Some Considerations of A. Thue.
- A complete many-valued logic with product-conjunction
- A comprehensive theory of trichotomous evaluative linguistic expressions
- A formal theory of intermediate quantifiers
- A non-arithmetical Gödel logic
- A note on Hájek, Paris and Shepherdson's theorem
- A proof of standard completeness for Esteva and Godo's logic MTL
- A propositional calculus with denumerable matrix
- A survey of abstract algebraic logic
- A weak completeness theorem for infinite valued first-order logic
- Adding involution to residuated structures
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- An algebraic approach to non-classical logics
- Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
- Arithmetical complexity of fuzzy predicate logics -- a survey
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Automated Reasoning with Analytic Tableaux and Related Methods
- Birkhoff variety theorem and fuzzy logic
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- Comprehension contradicts to the induction within Łukasiewicz predicate logic
- Computer Science Logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
- Existence and feasibility in arithmetic
- Features of Mathematical Theories in Formal Fuzzy Logic
- Filters in fuzzy class theory
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Forcing in Łukasiewicz predicate logic
- Formal systems of fuzzy logic and their fragments
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fuzzy Horn logic. I. Proof theory.
- Fuzzy Logics with Noncommutative Conjuctions
- Fuzzy Models of First Order Languages
- Fuzzy class theory
- Fuzzy equational logic
- Fuzzy logic and arithmetical hierarchy. III
- Fuzzy logic and arithmetical hierarchy. IV
- Fuzzy logic. Mathematical tools for approximate reasoning
- Fuzzy sets
- Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
- Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
- Hoops and Fuzzy Logic
- Implicational (semilinear) logics. I: A new hierarchy
- Joint Consistency of Fuzzy Theories
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Linear logic
- Making fuzzy description logic more general
- Mathematical Fuzzy Logics
- Metamathematics of fuzzy logic
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Observations on the monoidal t-norm logic
- Omitting types in fuzzy logic with evaluated syntax
- On Fuzzy Logic I Many‐valued rules of inference
- On Product Logic with Truth-constants
- On Weakly Cancellative Fuzzy Logics
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
- On expansions of WNM t-norm based logics with truth-constants
- On fuzzy type theory
- On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
- On the difference between traditional and deductive fuzzy logic
- On the logic of informational independence and its applications
- On the predicate logics of continuous t-norm BL-algebras
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On the structure of rotation-invariant semigroups
- On theories and models in fuzzy predicate logics
- On vagueness, truth values and fuzzy logics
- On witnessed models in fuzzy logic
- On witnessed models in fuzzy logic II
- Product Łukasiewicz logic
- Proof theory for fuzzy logics
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Relational compositions in fuzzy class theory
- Relations in fuzzy class theory: initial steps
- Residuated fuzzy logics with an involutive negation
- Residuated lattices. An algebraic glimpse at substructural logics
- Solution of a system of linear equations with fuzzy numbers
- Standard completeness theorem for \(\Pi\)MTL
- Strong non-standard completeness for fuzzy logics
- Substructural fuzzy logics
- The Axiom of Comprehension in Infinite Valued Logic.
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
- The liar paradox and fuzzy logic
- The sorites paradox and fuzzy logic
- Three complexity problems in quantified fuzzy logic
- Topology in Fuzzy Class Theory: Basic Notions
- Towards evaluation games for fuzzy logics
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- Untersuchungen zur Mehrwertigen Mengenlehre. I
- Untersuchungen zur Mehrwertigen Mengenlehre. II
- Untersuchungen zur Mehrwertigen Mengenlehre. III
- Varieties of BL-algebras. I: General properties.
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(42)- Triangular norm based graded convex fuzzy sets
- On properties of pseudointegrals based on pseudoaddition decomposable measures
- A theorem about infinite-valued sentential logic
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- \(n\)-contractive BL-logics
- Pseudovarieties of algebras with fuzzy equalities.
- A triangular norm hierarchy
- Construction of finite \(\mathbf L\)-groups.
- Relations in fuzzy class theory: initial steps
- On fuzzy modal logics \(S5(\mathcal C)\)
- On Fuzzy Logic I Many‐valued rules of inference
- Reasoning about mathematical fuzzy logic and its future
- First-order nilpotent minimum logics: first steps
- Variety theorem for algebras with fuzzy orders
- Continuous triangular norm based fuzzy topology
- The variety generated by all the ordinal sums of perfect MV-chains
- On the existence of free models in fuzzy universal Horn classes
- Relational compositions in fuzzy class theory
- Computing sets of graded attribute implications with witnessed non-redundancy
- scientific article; zbMATH DE number 2209491 (Why is no real title available?)
- On Fuzzy Theories with Crisp Sentences
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
- Fuzzy logics with an additional involutive negation
- On sets of graded attribute implications with witnessed non-redundancy
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Fuzzy intensional semantics
- Fuzzy sets and formal logics
- On Conjectures in t-Norm Based Fuzzy Logics
- An early approach toward graded identity and graded membership in set theory
- A triangular-norm-based propositional fuzzy logic
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- Invariance to ordinal transformations in rank-aware databases
- On similarity in fuzzy description logics
- Vagueness and formal fuzzy logic: some criticisms
- On theories and models in fuzzy predicate logics
- A triangular norm-based fuzzy predicate logic
- On elementary equivalence in fuzzy predicate logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Efficient triangular type-2 fuzzy logic systems
- Relational division in rank-aware databases
This page was built for publication: Triangular norm based predicate fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270233)
