Labelled proof systems for existential reasoning
From MaRDI portal
Cites work
- A more general general proof theory
- A reasoning model based on the production of acceptable arguments
- A refutation theory
- Admissibility of logical inference rules
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Constructible falsity
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 2086603 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- scientific article; zbMATH DE number 3192057 (Why is no real title available?)
- scientific article; zbMATH DE number 3066797 (Why is no real title available?)
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- Logics of formal inconsistency
- Modal logic
- Model checking existential logic on partially ordered sets
- Paraconsistent logic: consistency, contradiction and negation
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Proofs and countermodels in non-classical logics
- Reasoning with ontologies
- Refutation systems: an overview and some applications to philosophical logics
- Truth-values as labels: a general recipe for labelled deduction
- What is a non-truth-functional logic?
This page was built for publication: Labelled proof systems for existential reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7007785)
