A logical calculus for controlled monotonicity

DOI10.1016/J.JAL.2014.08.001zbMATH Open1345.03102OpenAlexW2006589758MaRDI QIDQ472804FDOQ472804

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

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

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)

Cites Work

• Title not available (Why is that?)
• Linear logic
• A logic for default reasoning
• A system of interaction and structure
• MELL in the calculus of structures
• A logic of non-monotonic interactions
• Non-commutative logic. I: The multiplicative fragment
• Linear Logic and Exceptions

Cited In (2)

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

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)