Pages that link to "Item:Q3647245"
From MaRDI portal
The following pages link to An efficient relational deductive system for propositional non-classical logics (Q3647245):
Displaying 4 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
