Fuzzy sets and formal logics
From MaRDI portal
Publication:2014418
DOI10.1016/j.fss.2015.06.021zbMath1368.03029OpenAlexW826290144MaRDI QIDQ2014418
Lluís Godo, Siegfried Johannes 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
fuzzy setsR-implicationsbasic fuzzy logicmathematical fuzzy logicsmonoidal logicgraded entailmentgraded membershipmonoidal fuzzy logic
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Graded dominance and related graded properties of fuzzy connectives
- Linear logic
- On fuzzy type theory
- A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
- Relations in fuzzy class theory: initial steps
- Logical structure of fuzzy IF-THEN rules
- T-norm-based logics with an independent involutive negation
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- A logic for reasoning about the probability of fuzzy events
- Fuzzy logic with countable evaluated syntax revisited
- Residuated lattices. An algebraic glimpse at substructural logics
- Implicational (semilinear) logics. I: A new hierarchy
- Dialogue games for many-valued logics -- an overview
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Giles's game and the proof theory of Łukasiewicz logic
- Relational compositions in fuzzy class theory
- On the continuity of residuals of triangular norms
- The concept of grade of membership
- Fuzzy uniqueness of fuzzy mappings
- Construction of fuzzy sigma-algebras using triangular norms
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- A non-classical logic for physics
- A formal system for fuzzy reasoning
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Formal theories and linguistic descriptions.
- Triangular norms
- 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\)
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- Expanding basic fuzzy logic with truth constants for component delimiters
- On the independence of axioms in BL and MTL
- A general method for constructing left-continuous t-norms
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- A complete many-valued logic with product-conjunction
- On the fundamentals of fuzzy set theory
- Logics for belief functions on MV-algebras
- Residuated fuzzy logics with an involutive negation
- From games to truth functions: a generalization of Giles's game
- Fuzzy logics from substructural perspective
- Triangular norm based predicate fuzzy logics
- Making fuzzy description logic more general
- Fuzzy class theory
- Varieties generated by standard BL-algebras
- Complexity of fuzzy probability logics. II
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Weakly implicative (fuzzy) logics. I: Basic properties
- Proof theory for fuzzy logics
- The logic of inexact concepts
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- The Quest for the Basic Fuzzy Logic
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Models for Many-Valued Probabilistic Reasoning
- On theories and models in fuzzy predicate logics
- Algebraizable logics
- On Fuzzy Logic I Many‐valued rules of inference
- Łukasiewicz logic and fuzzy set theory
- Mehrwertige Anordnungsrelationen in klassischen Mengen
- Untersuchungen zur Mehrwertigen Mengenlehre. III
- Basic Propositional Calculus I
- Fuzzy Logics with Noncommutative Conjuctions
- Fuzzy Inference as Deduction
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- On equality and natural numbers in Cantor-Lukasiewicz set theory
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
- Substructural fuzzy logics
- Topology in Fuzzy Class Theory: Basic Notions
- On Product Logic with Truth-constants
- Residuated logics based on strict triangular norms with an involutive negation
- Fuzzy sets
- Ein Ansatz zur mehrwertigen Mengenlehre
- Fuzzy logic. Mathematical tools for approximate reasoning
- Basic predicate calculus
- Pseudo-t-norms and pseudo-BL algebras
