Directional Deduction
From MaRDI portal
Classical propositional logic (03B05) Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Abstract: We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard information irrelevant to the conclusion; and then we synthesize the conclusion up from its ultimate grounds. We give a series of calculi for: classical propositional logic (Chapter 1); classical predicate logic (Chapter 2); modal propositional logic and modal predicate logic (Chapter 3); and some relevantistic fragments of these various systems (Chapters 4 and 5). In connection with these fragments we develop also some new semantic constructions, of 'truthmaker semantics' type.
This page was built for publication: Directional Deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407248)
