Pages that link to "Item:Q6601769"
From MaRDI portal
The following pages link to Refutation systems: an overview and some applications to philosophical logics (Q6601769):
Displaying 3 items.
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)