On Product Logic with Truth-constants

DOI10.1093/logcom/exi075zbMath1102.03030OpenAlexW2103135708MaRDI QIDQ5477455

Francesc Esteva, Carles Noguera, Petr Savický, Lluís Godo, Roberto L. O. Cignoli

Publication date: 3 July 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4d90c0384f27a0c2505e469579b2bc0353e9832f

zbMATH Keywords

fuzzy logicproduct logicstandard completenessalgebraizationtruth-constants

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items

Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Possibilistic conditioning framed in fuzzy logics ⋮ Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Perfect Pavelka logic ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ What is mathematical fuzzy logic ⋮ Computational complexity of t-norm based propositional fuzzy logics with rational truth constants ⋮ Fuzzy sets and formal 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 ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Structural completeness in many-valued logics with rational constants ⋮ Hyperresolution for Gödel logic with truth constants