Focusing in Orthologic

DOI10.23638/LMCS-13(3:6)2017zbMath1459.03096arXiv1612.01728MaRDI QIDQ5367044

Olivier Laurent

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1612.01728

zbMATH Keywords

cut eliminationlinear logicfocusingorthologicminimal quantum logicautomatic proof search

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Focusing in Orthologic