Ordered adjoint logic

DOI10.1007/978-3-032-32592-1_6MaRDI QIDQ7411297zbMATH OpenFDO

Authors Sophia Roshal, Frank Pfenning

Publication date 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-32592-1_6

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A logical framework with commutative and non-commutative subexponentials
• A message-passing interpretation of adjoint logic
• A mixed linear and graded logic: proofs, terms, and models
• Adjoint logic with a 2-category of modes
• An extended framework for specifying and reasoning about proof systems
• scientific article; zbMATH DE number 1330453 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Linear logic
• Natural deduction for intuitionistic non-commutative linear logic
• Non-commutative logic II: sequent calculus and phase semantics
• Non-commutative logic. I: The multiplicative fragment
• Non-commutative logic. III: Focusing proofs.
• Quantales and (noncommutative) linear logic
• Subexponentials in non-commutative linear logic
• Substructural parametricity
• Substructural proofs as automata
• The Mathematics of Sentence Structure

This page was built for publication: Ordered adjoint logic

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