Introduction
From MaRDI portal
Publication:5892200
DOI10.1007/978-3-319-06233-4_1zbMath1328.03023OpenAlexW4245228845MaRDI QIDQ5892200
Franco Montagna, Lluís Godo, Francesc Esteva, Siegfried Johannes Gottwald
Publication date: 6 October 2015
Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/247471
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
- On fuzzy modal logics \(S5(\mathcal C)\)
- The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
- Truth-depressing hedges and BL-logic
- A logic for reasoning about the probability of fuzzy events
- Fuzzy description logics under Gödel semantics
- Standard Gödel modal logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Satisfiability in many-valued sentential logic is NP-complete
- Metamathematics of fuzzy logic
- A qualitative fuzzy possibilistic logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On very true
- Embedding logics into product logic
- On Łukasiewicz's four-valued modal logic
- Observations on the monoidal t-norm logic
- A complete many-valued logic with product-conjunction
- Many-valued logic and mixed integer programming
- Logics for belief functions on MV-algebras
- Residuated fuzzy logics with an involutive negation
- Extending maps to profinite completions in finitely generated quasivarieties
- Making fuzzy description logic more general
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- Complexity of fuzzy probability logics. II
- Basic hoops: an algebraic study of continuous t-norms
- Formal systems of fuzzy logic and their fragments
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- A logical approach to fuzzy truth hedges
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- Towards metamathematics of weak arithmetics over fuzzy logic
- How Fuzzy Is My Fuzzy Description Logic?
- Towards a Proof Theory of G\"odel Modal Logics
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Models for Many-Valued Probabilistic Reasoning
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
- On theories and models in fuzzy predicate logics
- A HEDGE FOR GÖDEL FUZZY LOGIC
- A note on the first‐order logic of complete BL‐chains
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Fuzzy Logics with Noncommutative Conjuctions
- Hoops and Fuzzy Logic
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Bi-modal Godel logic over [0,1-valued Kripke frames]
- A non-arithmetical Gödel logic
- A note on the notion of truth in fuzzy logic
- Pseudo-t-norms and pseudo-BL algebras
- Complexity of t-tautologies