Pages that link to "Item:Q1577342"
From MaRDI portal
The following pages link to Natural deduction for non-classical logics (Q1577342):
Displaying 25 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Natural deduction, hybrid systems and modal logics (Q659458) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Normal natural deduction proofs (in classical logic) (Q1577339) (← links)
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← links)
- Natural deduction in normal modal logic (Q1813231) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- CHR: a constructive relevant natural-deduction logic (Q2845524) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- Towards a Canonical Classical Natural Deduction System (Q3586047) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- (Q3680812) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Natural deduction as higher-order resolution (Q4720797) (← links)
- (Q4874650) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- (Q5039098) (← links)
- Mechanizing Mathematical Reasoning (Q5717439) (← links)
- (Q5869608) (← links)
