Decidability of Cancellative Extension of Monoidal T-norm Based Logic

DOI10.1093/jigpal/jzl012zbMath1114.03018OpenAlexW2133041555MaRDI QIDQ3424131

Rostislav Horčík

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

zbMATH Keywords

many-valued logicMV-algebrabasic logict-normMTL

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) MV-algebras (06D35)

Related Items (2)

Archimedean classes in integral commutative residuated chains ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

This page was built for publication: Decidability of Cancellative Extension of Monoidal T-norm Based Logic