Pages that link to "Item:Q1944778"

The following pages link to A formal framework for specifying sequent calculus proof systems (Q1944778):

Displaying 31 items.

• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
• A semantic backward chaining proof system (Q1193483) (← links)
• Encoding transition systems in sequent calculus (Q1398474) (← links)
• Compositional meaning in logic (Q1682292) (← links)
• Multi-focused proofs with different polarity assignments (Q1744415) (← links)
• Hybrid and subexponential linear logics (Q1744445) (← links)
• A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
• \(M\)-calculus -- a sequent method for automatic theorem proving (Q1899898) (← 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)
• A Focused Sequent Calculus for Higher-Order Logic (Q3192181) (← links)
• Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← 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)
• Terminating sequent calculi for proving and refuting formulas in S4 (Q5176550) (← links)
• Hybrid linear logic, revisited (Q5236552) (← links)
• An extended framework for specifying and reasoning about proof systems (Q5739974) (← links)
• A linear logic framework for multimodal logics (Q5889307) (← links)
• KI 2003: Advances in Artificial Intelligence (Q5897302) (← 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)
• A sequent calculus for first-order logic formalized in Isabelle/HOL (Q6162119) (← links)
• A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)