Decidability of Cancellative Extension of Monoidal T-norm Based Logic

DOI10.1093/JIGPAL/JZL012MaRDI QIDQ3424131zbMATH OpenOpenAlexFDO

Authors Rostislav Horčík

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

basic logicmany-valued logicMTLMV-algebrat-norm

Mathematics Subject Classification ID

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

Recommendations

• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• Observations on the monoidal t-norm logic
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• scientific article; zbMATH DE number 2113968
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Involutive monoidalt-norm based logic andR0 logic
• A new axiomatization for involutive monoidal t-norm-based logic
• Minimally many-valued extensions of the monoidal t-norm based logic MTL
• scientific article; zbMATH DE number 7687781
• On decidability of monadic logic of order over the naturals extended by monadic predicates

Cited in

(6)

• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Archimedean classes in integral commutative residuated chains
• scientific article; zbMATH DE number 2113968 (Why is no real title available?)
• T-norm-based logics with an independent involutive negation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3424131)