Pages that link to "Item:Q1854335"
From MaRDI portal
The following pages link to Structural cut elimination. I: Intuitionistic and classical logic (Q1854335):
Displaying 23 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- A linear logical framework (Q1400718) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Redundancy Elimination for LF (Q2871840) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Structural Focalization (Q2946730) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- (Q4625697) (← links)
- HADAMARD STATES FOR THE VECTOR POTENTIAL ON ASYMPTOTICALLY FLAT SPACETIMES (Q4917971) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle (Q5505488) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- A Linear Logic of Authorization and Knowledge (Q5862524) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- (Q6060676) (← links)
