Formal systems of fuzzy logic and their fragments
From MaRDI portal
Publication:2463481
DOI10.1016/j.apal.2007.09.002zbMath1140.03010OpenAlexW2065267682MaRDI QIDQ2463481
Petr Hájek, Petr Cintula, Rostislav Horčík
Publication date: 12 December 2007
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2007.09.002
Related Items (18)
Formalising PFSQL queries using ŁΠ fuzzy logic ⋮ From Classical to Fuzzy Type Theory ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Curry's paradox and \(\omega \)-inconsistency ⋮ Mathematical Fuzzy Logics ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Complexity of some language fragments of fuzzy logics ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ Interpolative Boolean Logic ⋮ Introduction ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ The quintuple implication principle of fuzzy reasoning ⋮ Elements of model theory in higher-order fuzzy logic ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Triangular norm based predicate fuzzy logics ⋮ Archimedean classes in integral commutative residuated chains ⋮ EQ-algebras ⋮ Subtypes in fuzzy type theory
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
- Solutions to Cintula's open problems
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Subdirect products of totally ordered BCK-algebras
- Every BCK-algebra is a set of residuables in an integral pomonoid
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- Representable biresiduated lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Triangular norms
- Linearization of the BCK-logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On the predicate logics of continuous t-norm BL-algebras
- Adding involution to residuated structures
- Standard completeness theorem for \(\Pi\)MTL
- Observations on the monoidal t-norm logic
- A complete many-valued logic with product-conjunction
- Residuated fuzzy logics with an involutive negation
- On three implication-less fragments of t-norm based fuzzy logics
- Fuzzy logics as the logics of chains
- Undefinability of min-conjunction in MTL
- Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- Corrigendum to C.A. Meredith's and my paper: 'Equational logic.'
- A propositional calculus with denumerable matrix
- On Weakly Cancellative Fuzzy Logics
- Logics without the contraction rule
- A constructive analysis of RM
- Algebraizable logics
- Hoops and Fuzzy Logic
- On axiom systems of propositional calculi, XIV
- A non-arithmetical Gödel logic
- Totally ordered commutative monoids
This page was built for publication: Formal systems of fuzzy logic and their fragments
