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.014zbMATH Open1222.03027OpenAlexW2123127290MaRDI QIDQ1035653FDOQ1035653
Authors: Francesc Esteva, Lluís Godo, Carles Noguera 
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
Recommendations
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- On Conjectures in t-Norm Based Fuzzy Logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Publication:4944942
- Publication:3484813
- scientific article; zbMATH DE number 7687773
- scientific article
- scientific article; zbMATH DE number 1775544
- scientific article; zbMATH DE number 2061765
residuated latticesmathematical fuzzy logicalgebraic logicfirst-order predicate nonclassical logicst-norm-based fuzzy logicstruth-constants
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)
Cites Work
- Fuzzy sets
- On Fuzzy Logic I Many‐valued rules of inference
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic Analysis of Many Valued Logics
- A propositional calculus with denumerable matrix
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- 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
- Residuated lattices. An algebraic glimpse at substructural logics
- Triangular norm based predicate fuzzy logics
- Algebraizable logics
- Title not available (Why is that?)
- Varieties of BL-algebras. I: General properties.
- Basic hoops: an algebraic study of continuous t-norms
- Triangular norms as ordinal sums of semigroups in the sense of A. H. Clifford
- On theories and models in fuzzy predicate logics
- Strong non-standard completeness for fuzzy logics
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- On expansions of WNM t-norm based logics with truth-constants
- What is mathematical fuzzy logic
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Title not available (Why is that?)
- On Product Logic with Truth-constants
- Varieties of BL-algebras
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- A complete many-valued logic with product-conjunction
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Title not available (Why is that?)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
Cited In (27)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Populational announcement logic (PPAL)
- First-order nilpotent minimum logics: first steps
- Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
- Triangular norm based graded convex fuzzy sets
- A theorem about infinite-valued sentential logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Expanding basic fuzzy logic with truth constants for component delimiters
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- On finitely-valued fuzzy description logics
- On expansions of WNM t-norm based logics with truth-constants
- The role of metalanguage in graded logical approaches
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Triangular norm based predicate fuzzy logics
- Closure structures parameterized by systems of isotone Galois connections
- Local and relativized local finiteness in t-norm based structures
- On Fuzzy Logic I Many‐valued rules of inference
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Perfect Pavelka logic
- A survey of contributions to fuzzy logic and its applications to artificial intelligence at the IIIA
- Hyperresolution for Gödel logic with truth constants
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Fuzzy sets and formal logics
- A temporal semantics for nilpotent minimum logic
This page was built for publication: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035653)
