The following pages link to Structural Focalization (Q2946730):
Displaying 25 items.
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Focal points in framed strategic forms (Q1590689) (← links)
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- The explosion calculus (Q2186694) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- The focused calculus of structures (Q2915680) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- (Q5015208) (← links)
- (Q5015210) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Strong Sums in Focused Logic (Q5145299) (← links)
- Modular Focused Proof Systems for Intuitionistic Modal Logics (Q5369481) (← links)
- Focusing in Orthologic (Q5369490) (← links)
- A multi-focused proof system isomorphic to expansion proofs (Q5739975) (← links)
- Logical Approaches to Computational Barriers (Q5898815) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
