Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
From MaRDI portal
Publication:2380337
DOI10.1007/S00500-009-0402-8zbMATH Open1194.03022OpenAlexW2009190427MaRDI QIDQ2380337FDOQ2380337
Lluís Godo, Francesc Esteva, Carles Noguera
Publication date: 26 March 2010
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/160412
Recommendations
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On expansions of WNM t-norm based logics with truth-constants
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
mathematical fuzzy logicleft-continuous t-normstruth constantst-norm-based logicsevaluated formulaereal and rational completeness
Cites Work
- On Fuzzy Logic I Many‐valued rules of inference
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- 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
- Mathematics behind fuzzy logic
- Algebraizable logics
- Title not available (Why is that?)
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy logics as the logics of chains
- Title not available (Why is that?)
- On Product Logic with Truth-constants
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Title not available (Why is that?)
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Title not available (Why is that?)
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
Cited In (14)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Fuzzy inequational logic
- First-order nilpotent minimum logics: first steps
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- On expansions of WNM t-norm based logics with truth-constants
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- 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
- Structural completeness in many-valued logics with rational constants
- Hyperresolution for Gödel logic with truth constants
- Lindström theorems in graded model theory
- A temporal semantics for nilpotent minimum logic
This page was built for publication: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2380337)
