First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
type: Item
instance of: scholarly article
title: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
zbMATH Open document ID: 1222.03027
author: Francesc Esteva
author: Lluís Godo
author: Carles Noguera
published in: Annals of Pure and Applied Logic
publication date: 2009-11-04T00:00:00Z
full work available at URL: http://hdl.handle.net/10261/160427
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 5624907
zbMATH Keywords: algebraic logic
zbMATH Keywords: mathematical fuzzy logic
zbMATH Keywords: first-order predicate nonclassical logics
zbMATH Keywords: residuated lattices
zbMATH Keywords: t-norm-based fuzzy logics
zbMATH Keywords: truth-constants
MaRDI profile type: Publication
OpenAlex ID: W2123127290
cites work: Basic hoops: an algebraic study of continuous t-norms
cites work: Varieties of BL-algebras. I: General properties.
cites work: Algebraizable logics
cites work: Algebraic Analysis of Many Valued Logics
cites work: From fuzzy logic to fuzzy mathematics: a methodological manifesto
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Triangular norm based predicate fuzzy logics
cites work: Varieties of BL-algebras
cites work: A propositional calculus with denumerable matrix
cites work: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
cites work: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Equational characterization of the subvarieties of BL generated by t-norm algebras
cites work: Q3508715
cites work: On expansions of WNM t-norm based logics with truth-constants
cites work: Q3533553
cites work: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
cites work: Strong non-standard completeness for fuzzy logics
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Metamathematics of fuzzy logic
cites work: What is mathematical fuzzy logic
cites work: On theories and models in fuzzy predicate logics
cites work: A complete many-valued logic with product-conjunction
cites work: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
cites work: Q4836218
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Triangular norms as ordinal sums of semigroups in the sense of A. H. Clifford
cites work: On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
cites work: Q3484812
cites work: On Fuzzy Logic I Many‐valued rules of inference
cites work: On Product Logic with Truth-constants
cites work: Fuzzy sets
DOI: 10.1016/J.APAL.2009.05.014
Recommended article: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
Recommended article: Fuzzy description logics and \(t\)-norm based fuzzy logics
Recommended article: On Conjectures in t-Norm Based Fuzzy Logics
Recommended article: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Recommended article: Q4944942
Recommended article: Q3484813
Recommended article: Q6040894
Recommended article: Q3484812
Recommended article: Q4544376
Recommended article: Q4457512
description: scientific article; zbMATH DE number 5624907