First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
From MaRDI portal
(Redirected from Publication:1035653)
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; zbMATH DE number 4156411
- scientific article; zbMATH DE number 1775544
- scientific article; zbMATH DE number 2061765
Cites work
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- scientific article; zbMATH DE number 5295430 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- A complete many-valued logic with product-conjunction
- A proof of standard completeness for Esteva and Godo's logic MTL
- A propositional calculus with denumerable matrix
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Algebraic Analysis of Many Valued Logics
- Algebraizable logics
- Basic hoops: an algebraic study of continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fuzzy sets
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On Fuzzy Logic I Many‐valued rules of inference
- On Product Logic with Truth-constants
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- On expansions of WNM t-norm based logics with truth-constants
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On theories and models in fuzzy predicate logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Strong non-standard completeness for fuzzy logics
- Triangular norm based predicate fuzzy logics
- Triangular norms as ordinal sums of semigroups in the sense of A. H. Clifford
- Varieties of BL-algebras
- Varieties of BL-algebras. I: General properties.
- What is mathematical fuzzy logic
Cited in
(27)- Triangular norm based graded convex fuzzy sets
- On finitely-valued fuzzy description logics
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Triangular norm based predicate fuzzy logics
- A theorem about infinite-valued sentential logic
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Perfect Pavelka logic
- On expansions of WNM t-norm based logics with truth-constants
- A survey of contributions to fuzzy logic and its applications to artificial intelligence at the IIIA
- On Fuzzy Logic I Many‐valued rules of inference
- First-order nilpotent minimum logics: first steps
- Hyperresolution for Gödel logic with truth constants
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
- Local and relativized local finiteness in t-norm based structures
- Closure structures parameterized by systems of isotone Galois connections
- A temporal semantics for nilpotent minimum logic
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- The role of metalanguage in graded logical approaches
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Fuzzy sets and formal logics
- Populational announcement logic (PPAL)
- Expanding basic fuzzy logic with truth constants for component delimiters
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)
