Pages that link to "Item:Q2424889"
From MaRDI portal
The following pages link to Logical argumentation by dynamic proof systems (Q2424889):
Displaying 9 items.
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- A paraconsistent approach to deal with epistemic inconsistencies in argumentation (Q2146014) (← links)
- A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
- Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach (Q3006111) (← links)
- Reasoning with maximal consistency by argumentative approaches (Q4612449) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Automata, Languages and Programming (Q5716769) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)