Formal systems of fuzzy logic and their fragments
From MaRDI portal
Publication:2463481
DOI10.1016/j.apal.2007.09.002zbMath1140.03010MaRDI 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
03B52: Fuzzy logic; logic of vagueness
Related Items
NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES, Introduction, Curry's paradox and \(\omega \)-inconsistency, Reasoning about mathematical fuzzy logic and its future, A survey of fuzzy implication algebras and their axiomatization, The quintuple implication principle of fuzzy reasoning, EQ-logics: non-commutative fuzzy logics based on fuzzy equality, Elements of model theory in higher-order fuzzy logic, EQ-algebras, Complexity of some language fragments of fuzzy logics, Group representation for even and odd involutive commutative residuated chains, Triangular norm based predicate fuzzy logics, Subtypes in fuzzy type theory, Formalising PFSQL queries using ŁΠ fuzzy logic, From Classical to Fuzzy Type Theory, Mathematical Fuzzy Logics, Interpolative Boolean Logic, Archimedean classes in integral commutative residuated chains
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
