Mathematical Fuzzy Logics
From MaRDI portal
Publication:3503741
DOI10.2178/bsl/1208442828zbMath1144.03023OpenAlexW2002614562MaRDI QIDQ3503741
Publication date: 9 June 2008
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1208442828
Fuzzy logic; logic of vagueness (03B52) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)
Related Items (22)
Computing sets of graded attribute implications with witnessed non-redundancy ⋮ Pseudovarieties of algebras with fuzzy equalities. ⋮ Supermigrative semi-copulas and triangular norms ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ The existence of vague objects ⋮ A logic of graded attributes ⋮ Fuzzy inequational logic ⋮ An early approach toward graded identity and graded membership in set theory ⋮ Bases of closure systems over residuated lattices ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Attribute dependencies for data with grades I, ⋮ Variety theorem for algebras with fuzzy orders ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ On minimal sets of graded attribute implications ⋮ Optimal triangular decompositions of matrices with entries from residuated lattices ⋮ Knowledge spaces with graded knowledge states ⋮ Central fuzzy sets ⋮ Triangular norm based predicate fuzzy logics ⋮ Relational division in rank-aware databases ⋮ Taking degrees of truth seriously ⋮ On modelling with words
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On fuzzy type theory
- Arithmetical complexity of fuzzy predicate logics -- a survey
- Fuzzy Horn logic. II. Implicationally defined classes.
- The logic of tied implications. II. Syntax
- 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
- Residuated lattices. An algebraic glimpse at substructural logics
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- Implication in fuzzy logic
- Fuzzy propositional logics
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- A new axiomatization for involutive monoidal t-norm-based logic
- Standard algebras for fuzzy propositional calculi
- Hypersequents, logical consequence and intermediate logics for concurrency
- On implicative closure operators in approximate reasoning.
- Basic fuzzy logic and BL-algebras. II
- Finite-valued reductions of infinite-valued logics
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
- Trends in logic. 50 years of Studia Logica
- Compactness of fuzzy logics.
- A proof of standard completeness for Esteva and Godo's logic MTL
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- On the predicate logics of continuous t-norm BL-algebras
- A logical approach to interpolation based on similarity relations
- Interpolation in fuzzy logic
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Beyond two: Theory and applications of multiple-valued logic
- A complete many-valued logic with product-conjunction
- On triangular norm-based propositional fuzzy logics
- Extensionality based approximate reasoning
- Finiteness in infinite-valued Łukasiewicz logic
- Residuated fuzzy logics with an involutive negation
- Fuzzy class theory
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- Basic hoops: an algebraic study of continuous t-norms
- Formal systems of fuzzy logic and their fragments
- Fuzzy logics as the logics of chains
- Which logic is the real fuzzy logic?
- The logic of tied implications. I: Properties, applications and representation
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- Weakly implicative (fuzzy) logics. I: Basic properties
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Fuzzy Horn logic. I. Proof theory.
- Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
- On theories and models in fuzzy predicate logics
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Łukasiewicz logic and fuzzy set theory
- On consequence in approximate reasoning
- Fuzzy Logics with Noncommutative Conjuctions
- Fuzzy Inference as Deduction
- The sorites paradox and fuzzy logic
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Well‐Defined Fuzzy Sentential Logic
- Approximate Reasoning Based on Similarity
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Substructural fuzzy logics
- Fuzzy sets
- Ein Ansatz zur mehrwertigen Mengenlehre
- 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
- Fuzzy closure operators
- Pseudo-t-norms and pseudo-BL algebras
This page was built for publication: Mathematical Fuzzy Logics
