Pages that link to "Item:Q622083"
From MaRDI portal
The following pages link to Dual tableau for monoidal triangular norm logic MTL (Q622083):
Displaying 3 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
