Pages that link to "Item:Q4032669"
From MaRDI portal
The following pages link to Relational proof system for relevant logics (Q4032669):
Displaying 15 items.
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- (Q3201035) (← links)
- (Q3202993) (← 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)
- (Q4500375) (← links)
- (Q4789156) (← links)
- The Relationlog system prototype (Q4791100) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)