A logical calculus for controlled monotonicity

DOI10.1016/j.jal.2014.08.001zbMath1345.03102OpenAlexW2006589758MaRDI QIDQ472804

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 logicscut-eliminationnon-monotonicityseries-parallel structures

Mathematics Subject Classification ID

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

Related Items (2)

Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Adding logic to the toolbox of molecular biology

Cites Work

• Unnamed Item
• Linear logic
• A logic for default reasoning
• MELL in the calculus of structures
• A logic of non-monotonic interactions
• Non-commutative logic. I: The multiplicative fragment
• Linear Logic and Exceptions
• A system of interaction and structure

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