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

classical logiccontext-sensitivenesscut eliminationnon-monotonicityparaconsistencyproof theory

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)

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

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)