Strong sums in focused logic

DOI10.1145/3209108.3209145zbMATH Open1452.03130OpenAlexW2798868568WikidataQ130838825 ScholiaQ130838825MaRDI QIDQ5145299FDOQ5145299

Authors: Karl Crary 

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209145

Recommendations

• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Structural focalization
• Focusing and polarization in linear, intuitionistic, and classical logics
• The focused calculus of structures
• Focusing and Polarization in Intuitionistic Logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Uses Software

• Coq

This page was built for publication: Strong sums in focused logic

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