Pages that link to "Item:Q1744402"
From MaRDI portal
The following pages link to Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402):
Displaying 5 items.
- Classical logic, argument and dialectic (Q1711878) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
- Logical argumentation by dynamic proof systems (Q2424889) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)