Fuzzy sets and formal logics
From MaRDI portal
Publication:2014418
DOI10.1016/J.FSS.2015.06.021zbMATH Open1368.03029OpenAlexW826290144MaRDI QIDQ2014418FDOQ2014418
Authors: Lluís Godo, Siegfried J. Gottwald 
Publication date: 11 August 2017
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/131111
Recommendations
fuzzy setsR-implicationsbasic fuzzy logicmathematical fuzzy logicsmonoidal logicgraded entailmentgraded membershipmonoidal fuzzy logic
Cites Work
- Fuzzy sets
- Triangular norms
- On Fuzzy Logic I Many‐valued rules of inference
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theory of logical calculi. Basic theory of consequence operations
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- The logic of inexact concepts
- A treatise on many-valued logics
- Title not available (Why is that?)
- Linear logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- Proof theory for fuzzy logics
- Title not available (Why is that?)
- Substructural fuzzy logics
- Basic predicate calculus
- Residuated lattices. An algebraic glimpse at substructural logics
- Construction of fuzzy sigma-algebras using triangular norms
- An algebraic approach to non-classical logics
- Expanding basic fuzzy logic with truth constants for component delimiters
- A general method for constructing left-continuous t-norms
- Triangular norm based predicate fuzzy logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- Title not available (Why is that?)
- Algebraizable logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Ein Ansatz zur mehrwertigen Mengenlehre
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fuzzy logic. Mathematical tools for approximate reasoning
- On fuzzy type theory
- Implicational (semilinear) logics. I: A new hierarchy
- Models for Many-Valued Probabilistic Reasoning
- A logic for reasoning about the probability of fuzzy events
- Pseudo-t-norms and pseudo-BL algebras
- Logical structure of fuzzy IF-THEN rules
- Residuated fuzzy logics with an involutive negation
- T-norm-based logics with an independent involutive negation
- Making fuzzy description logic more general
- The concept of grade of membership
- On theories and models in fuzzy predicate logics
- A non-classical logic for physics
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Fuzzy Logics with Noncommutative Conjuctions
- A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
- Relational compositions in fuzzy class theory
- Formal theories and linguistic descriptions.
- Fuzzy class theory
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- On Product Logic with Truth-constants
- Relations in fuzzy class theory: initial steps
- Fuzzy logic with countable evaluated syntax revisited
- On the fundamentals of fuzzy set theory
- Complexity of fuzzy probability logics. II
- Title not available (Why is that?)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Basic Propositional Calculus I
- Title not available (Why is that?)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- A complete many-valued logic with product-conjunction
- Logics for belief functions on MV-algebras
- Complexity of fuzzy probability logics
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graded dominance and related graded properties of fuzzy connectives
- On the independence of axioms in BL and MTL
- Fuzzy logics from substructural perspective
- Title not available (Why is that?)
- Łukasiewicz logic and fuzzy set theory
- Title not available (Why is that?)
- The Quest for the Basic Fuzzy Logic
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
- Fuzzy Inference as Deduction
- Residuated logics based on strict triangular norms with an involutive negation
- Title not available (Why is that?)
- Fuzzy uniqueness of fuzzy mappings
- Title not available (Why is that?)
- A formal system for fuzzy reasoning
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dialogue games for many-valued logics -- an overview
- Giles's game and the proof theory of Łukasiewicz logic
- Revisiting Giles's game. Reconciling fuzzy logic and supervaluation
- On the continuity of residuals of triangular norms
- Untersuchungen zur Mehrwertigen Mengenlehre. III
- Mehrwertige Anordnungsrelationen in klassischen Mengen
- Varieties generated by standard BL-algebras
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- From games to truth functions: a generalization of Giles's game
- Title not available (Why is that?)
- Title not available (Why is that?)
- On equality and natural numbers in Cantor-Lukasiewicz set theory
- Topology in Fuzzy Class Theory: Basic Notions
Cited In (11)
- A systematic review of complex fuzzy sets and logic
- Fuzzy sets and residuated logic
- Shaping the logic of fuzzy set theory
- Many-valued logic and fuzzy set theory
- Title not available (Why is that?)
- PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC
- Siegfried Gottwald (1943--2015) obituary
- FOUNDATIONS OF FUZZY SET THEORY AND FUZZY LOGIC: A HISTORICAL OVERVIEW
- Usuality, regularity, and fuzzy set logic
- Title not available (Why is that?)
- Lazy evaluations in Łukasiewicz type fuzzy logic
This page was built for publication: Fuzzy sets and formal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014418)
