Unifying logics via context-sensitiveness

DOI10.1093/logcom/exv051zbMath1444.03099OpenAlexW2277984344MaRDI QIDQ2987041

Mario Piazza, Gabriele Pulcini

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv051

zbMATH Keywords

cut eliminationparaconsistencyproof theorynon-monotonicityclassical logiccontext-sensitiveness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Related Items (4)

The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ A logic for best explanations ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ A Defeasible Calculus for Zetetic Agents

This page was built for publication: Unifying logics via context-sensitiveness