Pages that link to "Item:Q1854335"

The following pages link to Structural cut elimination. I: Intuitionistic and classical logic (Q1854335):

Displaying 35 items.

• Representing model theory in a type-theoretical logical framework (Q654913) (← links)
• Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
• Algebraic proofs of cut elimination (Q1349247) (← links)
• A linear logical framework (Q1400718) (← links)
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic (Q1577341) (← links)
• Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
• Cut elimination for a logic with induction and co-induction (Q1948276) (← 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 note on cut-elimination for classical propositional logic (Q2144620) (← links)
• A fresh view of linear logic as a logical framework (Q2229156) (← links)
• Mechanizing focused linear logic in Coq (Q2333326) (← links)
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
• Towards a clausal analysis of cut-elimination (Q2457341) (← 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)
• Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order (Q3792660) (← links)
• The Taming of the Cut. Classical Refutations with Analytic Cut (Q4304496) (← links)
• (Q4362908) (← links)
• (Q4625697) (← links)
• HADAMARD STATES FOR THE VECTOR POTENTIAL ON ASYMPTOTICALLY FLAT SPACETIMES (Q4917971) (← links)
• PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION (Q4961867) (← 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)
• Typed Lambda Calculi and Applications (Q5704011) (← 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)
• Safe session-based concurrency with shared linear state (Q6535247) (← links)