Unifying logics via context-sensitiveness

DOI10.1093/LOGCOM/EXV051MaRDI QIDQ2987041zbMATH OpenOpenAlexFDO

Authors 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

paraconsistencyproof theorycut eliminationnon-monotonicityclassical logiccontext-sensitiveness

Mathematics Subject Classification ID

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

Recommendations

• A logical calculus for controlled monotonicity
• On the unification of classical, intuitionistic and affine logics
• A uniform proof-theoretic foundation for abstract paraconsistent logic programming
• Unified semantics and proof system for classical, intuitionistic and affine logics
• A logic of non-monotonic interactions

Cited in

(13)

• The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
• Molecular biology meets logic: context-sensitiveness in focus
• A logical calculus for controlled monotonicity
• A cut-free sequent calculus for defeasible erotetic inferences
• Unifying Theories of Logic and Specification
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Inside classical logic: truth, contradictions, fractionality
• Analyticity with extra-logical information
• Exception and typicality, logically framed
• A defeasible calculus for zetetic agents
• On the unification of classical, intuitionistic and affine logics
• Hypersequent calculi for propositional default logics
• A logic for best explanations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987041)