Sequent
Top View
- Neighbourhood Semantics and Sequent Calculus
- Sequent Calculus Cut Elimination
- Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts
- Concurrency and Permutability in the Sequent Calculus
- Sequent and Theorem Introduction
- Bounded Sequent Calculi for Non-Classical Logics Via Hypersequents
- Abstract Interpretation Based Semantics of Sequent Calculi
- Collection Frames for Substructural Logics
- Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi
- The Benefits of Sequent Calculus
- Sequent Calculi for Skeptical Reasoning in Predicate Default Logic and Other Nonmonotonic Logics ∗
- From Natural Deduction to Sequent Calculus (And Back) Reading Natural Deduction: Motivation Sequent Calculus: Motivation
- Studying Sequent Systems Via Non-Deterministic Multiple-Valued Matrices
- Cse371/Mat371 LOGIC
- Natural Deduction
- A System of Interaction and Structure Ii: the Need for Deep Inference
- Bivalent Semantics for De Morgan Logic (The Uselessness of Four-Valuedness) Jean-Yves Beziau´
- Complete Sequent Calculi for Induction and Infinite Descent