Pages that link to "Item:Q2746598"
From MaRDI portal
The following pages link to Natural deduction for paraconsistent logic (Q2746598):
Displaying 18 items.
- Natural deduction and Curry's paradox (Q877241) (← links)
- Natural deduction for non-classical logics (Q1577342) (← links)
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- Natural deduction in normal modal logic (Q1813231) (← links)
- CHR: a constructive relevant natural-deduction logic (Q2845524) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
- A Compressing Translation from Propositional Resolution to Natural Deduction (Q3525003) (← links)
- Natural deduction for the finite least fixed point logic with an infinitary rule (Q3644843) (← links)
- (Q3680812) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- (Q4544195) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Natural deduction as higher-order resolution (Q4720797) (← links)
- (Q4874650) (← links)
- (Q5175691) (← links)
- (Q5869518) (← links)
