DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Structural proof theory
Structural proof theory
The L-Framework Structural Proof Theory in Rewriting Logic
Notes on Proof Theory
Bounded-Analytic Sequent Calculi and Embeddings for Hypersequent Logics?
An Overview of Structural Proof Theory and Computing
The Method of Proof Analysis: Background, Developments, New Directions
Negri, S and Von Plato, J Structural Proof Theory
Towards a Structural Proof Theory of Probabilistic $$\Mu $$-Calculi
Proof Theory for Modal Logic
Three Lectures on Structural Proof Theory 2 – Classical Logic in Deep Inference
Focused and Synthetic Nested Sequents
Proof Theory for Indexed Nested Sequents Sonia Marin, Lutz Straßburger
Applications of Structural Proof Theory to Computer Science
Normal Proofs, Cut Free Derivations and Structural Rules
A Fully Labelled Proof System for Intuitionistic Modal Logics Sonia Marin, Marianela Morales, Lutz Straßburger
Proof Theory in the Abstract
Glivenko Sequent Classes in the Light of Structural Proof Theory
A Systematic Proof Theory for Several Modal Logics (Extended Abstract) ∗
Relational Hypersequents for Modal Logics 3
Top View
Arxiv:1601.04876V5 [Math.LO] 12 Aug 2018 Eatc Cosa Qiaec.Ti Tognto Fequivalence of Notion Strong This Equivalence
Negri, S and Von Plato, J Structural Proof Theory
A Survey of Nonstandard Sequent Calculi
Efficient Proof Systems for Modal Logics
Mathematisches Forschungsinstitut Oberwolfach Mathematical Logic
Fully Structured Proof Theory for Intuitionistic Modal Logics Sonia Marin, Marianela Morales
General Methods in Proof Theory for Modal Logic - Lecture 1
Proof Theory for Functional Modal Logic
Proof Theory and Constructive Mathematics - Anne S
Extended Kripke Lemma and Decidability for Hypersequent Substructural Logics
Ac Structural Proof Theory
The Jacobson Radical of a Propositional Theory∗†
Pdf Document
Building Theorem Provers Using Rewriting Logic
On Linear Rewriting Systems for Boolean Logic and Some Applications to Proof Theory
A Resolution Method for Modal Logic S5
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics K, T, and D
Structural Proof Theory As Rewriting
Reciprocal Influences Between Proof Theory and Logic Programming
Proof Theory
FULLTEXT01.Pdf
On the Proof Theory of Conditional Logics Marianna Girlando
Of the Troelstra Archive
The Problem of Proof Identity, and Why Computer Scientists Should Care About Hilbert's 24Th Problem
Proof Theory for Non-Normal Modal Logics: the Neighbourhood Formalism and Basic Results