First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
From MaRDI portal
Publication:1035653
DOI10.1016/j.apal.2009.05.014zbMath1222.03027OpenAlexW2123127290MaRDI QIDQ1035653
Carles Noguera, Francesc Esteva, Lluís Godo
Publication date: 4 November 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/160427
algebraic logicresiduated latticesmathematical fuzzy logicfirst-order predicate nonclassical logicst-norm-based fuzzy logicstruth-constants
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)
Related Items
First-order nilpotent minimum logics: first steps, Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable, The role of metalanguage in graded logical approaches, Closure structures parameterized by systems of isotone Galois connections, On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, A note on axiomatizations of Pavelka-style complete fuzzy logics, Perfect Pavelka logic, A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA, Populational announcement logic (PPAL), On finitely-valued fuzzy description logics, Triangular norm based graded convex fuzzy sets, Fuzzy sets and formal logics, Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Triangular norm based predicate fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Fuzzy description logics and \(t\)-norm based fuzzy logics, On Fuzzy Logic I Many‐valued rules of inference, Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications, A theorem about infinite-valued sentential logic, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Hyperresolution for Gödel logic with truth constants, A temporal semantics for nilpotent minimum logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties of BL-algebras
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Residuated lattices. An algebraic glimpse at substructural logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- Triangular norms as ordinal sums of semigroups in the sense of A. H. Clifford
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- A complete many-valued logic with product-conjunction
- Triangular norm based predicate fuzzy logics
- On expansions of WNM t-norm based logics with truth-constants
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Basic hoops: an algebraic study of continuous t-norms
- Strong non-standard completeness for fuzzy logics
- What is mathematical fuzzy logic
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Algebraic Analysis of Many Valued Logics
- A propositional calculus with denumerable matrix
- On theories and models in fuzzy predicate logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Algebraizable logics
- On Fuzzy Logic I Many‐valued rules of inference
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- On Product Logic with Truth-constants
- Fuzzy sets
