Pages that link to "Item:Q4032669"
From MaRDI portal
The following pages link to Relational proof system for relevant logics (Q4032669):
Displayed 6 items.
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ (Q3647282) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- Equational Reasoning in Non-Classical Logics (Q4236057) (← links)