Decidability of Cancellative Extension of Monoidal T-norm Based Logic
From MaRDI portal
Publication:3424131
DOI10.1093/jigpal/jzl012zbMath1114.03018MaRDI QIDQ3424131
Publication date: 15 February 2007
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/cc54605e255727281b75ed60cfbf75bcaa29763e
03B52: Fuzzy logic; logic of vagueness
03B25: Decidability of theories and sets of sentences
06D35: MV-algebras
Related Items
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Archimedean classes in integral commutative residuated chains