Pages that link to "Item:Q1061116"
From MaRDI portal
The following pages link to The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems (Q1061116):
Displaying 6 items.
- Deduction theorems for weak implicational logics (Q791512) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- A note on a deductive scheme of Dummett in classical and fuzzy logics (Q2450636) (← links)
- Problems of relevant logic in V. A. Smirnov's book: Formal deduction and logical calculi (Q2778333) (← links)
- A Constructive Proof of a Theorem in Relevance Logic (Q3714053) (← links)
- Natural deduction and sequent calculus for intuitionistic relevant logic (Q3797160) (← links)