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 7 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)
- Relational proof system for relevant logics (Q4032669) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
