Pages that link to "Item:Q1944778"
From MaRDI portal
The following pages link to A formal framework for specifying sequent calculus proof systems (Q1944778):
Displayed 18 items.
- Compositional meaning in logic (Q1682292) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- (Q5018490) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)