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 10 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)
- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras (Q3498409) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- Order-dual relational semantics for non-distributive propositional logics (Q4644475) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712434) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)