Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
From MaRDI portal
Publication:5426008
DOI10.1007/978-3-540-75939-3_15zbMath1123.03012OpenAlexW1546767004MaRDI QIDQ5426008
Publication date: 15 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_15
Related Items (8)
The Differential Semantics of Łukasiewicz Syntactic Consequence ⋮ An elementary belief function logic ⋮ A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ An expansion of basic logic with fixed points ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ Strong standard completeness for continuous t-norms ⋮ Hyperresolution for Gödel logic with truth constants
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fuzzy logic and arithmetical hierarchy. II
- Arithmetical complexity of fuzzy predicate logics -- a survey
- Bookmaking over infinite-valued events
- A logic for reasoning about the probability of fuzzy events
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- Triangular norms
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Averaging the truth-value in Łukasiewicz logic
- Fuzzy logic and arithmetical hierarchy
- Representation and extension of states on MV-algebras
- Algebraizable logics
- Hoops and Fuzzy Logic
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
This page was built for publication: Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions