Pages that link to "Item:Q4018167"
From MaRDI portal
The following pages link to Logic Programming with Focusing Proofs in Linear Logic (Q4018167):
Displaying 35 items.
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Resource-distribution via Boolean constraints (Q5234703) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- TCC, with History (Q5418978) (← links)
- Towards Ludics Programming: Interactive Proof Search (Q5504660) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- A Linear Logic of Authorization and Knowledge (Q5862524) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
