Metamathematics of fuzzy logic
Fuzzy logic in the sense of this book is infinite-valued logic, partly enriched with a graded notion of entailment. The author starts from the observation that t-norms play a crucial role in fuzzy set theory as well as in many-valued logic: the Lukasiewicz systems, the Gödel systems, and also the product logic may be considered as being based in a uniform way upon some particular t-norm. Accordingly, the author first develops a core logic for t-norm based systems of [0,1]-valued logic via some suitable algebraic semantics. The fundamental algebraic structures prove to be commutative residuated lattices, which at the same time are divisible monoids, and satisfy some kind of pre-linearity condition. These ``basic algebras are common generalizations, e.g., of MV-algebras and Heyting algebras. For the particular semigroups formed by a t-norm over the real unit interval, divisibility is the algebraic equivalent of the continuity of the t-norm. The author gives adequate axiomatizations for the propositional as well as the first-order logics of these structures, which also axiomatize the corresponding entailment relations for finite sets of premisses, and which can be extended to adequate axiomatizations, e.g., of the infinite-valued Lukasiewicz and Gödel logics. For the Lukasiewicz case also the Pavelka approach toward a graded notion of entailment and inference is discussed, and coded inside standard Lukasiewicz logic for the case that one adds truth degree constants for all rationals of the unit interval. The investigations in these logical systems are enriched by complexity and undecidability results for propositional as well as for first-order systems. And there are also discussions of applicational aspects: e.g., of approximate inferences, fuzzy rules, fuzzified quantifications and modalities, or of the liar paradox. The last chapter surveys the historical development of many-valued and fuzzy logic. The book contains a wealth of original and important results which have been found by the author in the last couple of years. It is the first monograph by an outstanding logician which shows that the field of fuzzy logics, taken in the narrow sense of this word, should be considered as a serious part of mathematical logic at all.
- Some types of generalized fuzzy filters of BL-algebras
- De Finetti's no-Dutch-book criterion for Gödel logic
- Dialogue games for many-valued logics -- an overview
- A generic framework for adaptive vague logics
- A way to interpret Łukasiewicz logic and basic logic
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- Quantitative logic
- Maximal fuzzy maps
- Solution of an open problem on pseudo-Archimedean t-norms
- The pseudo-linear semantics of interval-valued fuzzy logics
- Continuous Fraïssé conjecture
- On vagueness, truth values and fuzzy logics
- Commutative basic algebras and non-associative fuzzy logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Quasi-arithmetic means of covariance functions with potential applications to space-time data
- A note on Trillas' CHC models
- On (, q)-fuzzy filters of BL-algebras
- Commutative integral bounded residuated lattices with an added involution
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- On the reflection invariance of residuated chains
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- Ordered groups with a conucleus
- Giles's game and the proof theory of Łukasiewicz logic
- A temporal semantics for basic logic
- Formal concept analysis via multi-adjoint concept lattices
- Characterizations of (weakly) Archimedean t-norms in interval-valued fuzzy set theory
- Relational compositions in fuzzy class theory
- A discriminator variety of Gödel algebras with operators arising in quantum computation
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata
- On the relationship between limit spaces, many valued topological spaces, and many valued preorders
- Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet
- Fuzzy complete lattices
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Acyclic rationality indicators of fuzzy choice functions
- EQ-algebras
- Algebras of fuzzy sets
- Fuzzy description logics with general t-norms and datatypes
- Reasoning within expressive fuzzy rough description logics
- L-fuzzy quantifiers of type 1 determined by fuzzy measures
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- A general Glivenko theorem
- The GUHA method and its meaning for data mining
- Ten questions and one problem on fuzzy logic
- A survey on different triangular norm-based fuzzy logics
- Generalized t-norm structures
- Algebraic structures in 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
- On very true
- Antonyms and linguistic quantifiers in fuzzy logic
- Systems of ordinal fuzzy logic with application to preference modelling
- FS-FOIL: An inductive learning method for extracting interpretable fuzzy descriptions
- Representations and constructions of similarity-based fuzzy orderings.
- On implicative closure operators in approximate reasoning.
- Normal forms and truth tables for fuzzy logics
- A natural interpretation of fuzzy mappings
- On a class of residuated semilattice monoids
- A triangular norm-based fuzzy predicate logic
- On equivalent forms of fuzzy logic systems NM and IMTL
- On the lattice of deductive systems of a BL-algebra
- The prime and maximal spectra and the reticulation of BL-algebras
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Triangular norms. Position paper I: Basic analytical and algebraic properties.
- How to construct left-continuous triangular norms -- state of the art.
- Compactness of fuzzy logics.
- Residuated fuzzy logics with additional connectives and their validation sets.
- Semi-normal forms and functional representation of product fuzzy logic.
- Normal forms in BL-algebra and their contribution to universal approximation of functions.
- Non-commutative fuzzy structures and pairs of weak negations.
- Graded many-valued resolution with aggregation.
- Formal theories and linguistic descriptions.
- Formalized theory of general fuzzy reasoning.
- Continuous triangular subnorms.
- Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines
- Similarity relations and BK-relational products
- A note on the extension principle
- Boolean products of BL-algebras
- Toward a perception-based theory of probabilistic reasoning with imprecise probabilities
- Computing sets of graded attribute implications with witnessed non-redundancy
- Convex MV-algebras: many-valued logics meet decision theory
- On the classification of first order Gödel logics
- \(T\)-fuzzy KU-ideals of KU-algebras
- Ordered group-valued probability, positive operators, and integral representations
- Event-based transformations of capacities and invariantness
- A calculus for containment of fuzzy attributes
- Nodal filters in hoop algebras
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?
- Fraïssé classes of graded relational structures
- Generalized state maps and states on pseudo equality algebras
- Study residuated lattice via some elements
- Matrix representations and interdependency on L-fuzzy covering-based approximation operators
- Continuous additive generators of continuous, conditionally cancellative triangular subnorms
- A cut-free calculus for second-order Gödel logic
- The logic of the strongest and the weakest t-norms
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- The existence of vague objects
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
This page was built for publication: Metamathematics of fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1307301)
