Strong sums in focused logic

DOI10.1145/3209108.3209145MaRDI QIDQ5145299zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Describes a project that uses

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)