A logical calculus for controlled monotonicity

DOI10.1016/J.JAL.2014.08.001MaRDI QIDQ472804zbMATH OpenOpenAlexFDO

Authors Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

Publication date 20 November 2014

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2014.08.001

zbMATH Keywords

substructural logicsnon-monotonicitycut-eliminationseries-parallel structures

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Unifying logics via context-sensitiveness
• Sequent calculi for propositional nonmonotonic logics
• scientific article; zbMATH DE number 1223614
• A sequent calculus for a logic of contingencies
• scientific article; zbMATH DE number 1841813

Cites work

• scientific article; zbMATH DE number 1470576 (Why is no real title available?)
• A logic for default reasoning
• A logic of non-monotonic interactions
• A system of interaction and structure
• Linear Logic and Exceptions
• Linear logic
• MELL in the calculus of structures
• Non-commutative logic. I: The multiplicative fragment

Cited in

(3)

• Unifying logics via context-sensitiveness
• Adding logic to the toolbox of molecular biology
• Abduction as deductive saturation: a proof-theoretic inquiry

This page was built for publication: A logical calculus for controlled monotonicity

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