Multi-focused proofs with different polarity assignments
From MaRDI portal
Publication:1744415
DOI10.1016/j.entcs.2016.06.011zbMath1394.03070OpenAlexW2465546786WikidataQ57850714 ScholiaQ57850714MaRDI QIDQ1744415
João Neto, Vivek Nigam, Elaine Pimentel
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.011
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Complexity of proofs (03F20)
Related Items
On concurrent behaviors and focusing in linear logic, Maximally multi-focused proofs for skew non-commutative \texttt{MILL}, A focused linear logical framework and its application to metatheory of object logics
Cites Work
- Unnamed Item
- Unnamed Item
- Yet another bijection between sequent calculus and natural deduction
- On the unity of logic
- A framework for proof systems
- A logical characterization of forward and backward chaining in the inverse method
- Focusing and polarization in linear, intuitionistic, and classical logics
- Focussing and proof construction
- A formal framework for specifying sequent calculus proof systems
- Uniform proofs as a foundation for logic programming
- Focusing and Polarization in Intuitionistic Logic
- Logic Programming with Focusing Proofs in Linear Logic
- A Systematic Approach to Canonicity in the Classical Sequent Calculus
- Logical Approaches to Computational Barriers
- Focused linear logic and the \(\lambda\)-calculus
