DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Analytic proof
Analytic proof
Notes on Proof Theory
Bunched Hypersequent Calculi for Distributive Substructural Logics
Bounded-Analytic Sequent Calculi and Embeddings for Hypersequent Logics?
On Analyticity in Deep Inference
The Method of Proof Analysis: Background, Developments, New Directions
On the Importance of Being Analytic. the Paradigmatic Case of the Logic of Proofs Francesca Poggiolesi
Proof Analysis Beyond Geometric Theories: from Rule Systems to Systems of Rules
Proof Analysis for Lewis Counterfactuals
Gentzen-Type Proof Systems for Non-Classical Logics Yehonathan
Hypersequents and Systems of Rules: Embeddings and Applications
Proof Transformations in Higher-Order Logic
Normality, Non-Contamination and Logical Depth in Classical Natural Deduction
An Analytic Propositional Proof System on Graphs
Hypersequent and Display Calculi – a Unified Perspective
Bunched Hypersequent Calculi for Distributive Substructural Logics
Hypersequent Calculi for Modal Logics
On the Proof Theory of Conditional Logics Marianna Girlando
Top View