Dual tableau for monoidal triangular norm logic MTL
From MaRDI portal
Publication:622083
DOI10.1016/j.fss.2010.09.007zbMath1216.03045OpenAlexW1987316524MaRDI QIDQ622083
Joanna Golińska-Pilarek, Ewa S. Orłowska
Publication date: 31 January 2011
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2010.09.007
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dual tableaux. Foundations, methodology, case studies
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Algebras for Galois-style connections and their discrete duality
- Semantical analysis of predicate logics without the contraction rule
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Analytic calculi for product logics
- Correspondence results for relational proof systems with application to the Lambek calculus
- Tableaux for Łukasiewicz infinite-valued logic
- Proof theory for fuzzy logics
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
- An efficient relational deductive system for propositional non-classical logics
- A Tableau Calculus for Hajek's Logic BL
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
This page was built for publication: Dual tableau for monoidal triangular norm logic MTL
