Cited in
(only showing first 100 items - show all)- The normalization theorem for extended natural deduction
- Contraction contracted
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Verificationism and Classical Realizability
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
- Proof search for propositional abstract separation logics via labelled sequents
- Correspondence analysis for some fragments of classical propositional logic
- A survey of nonstandard sequent calculi
- A labelled sequent calculus for BBI: proof theory and proof search
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Machine-checked proof-theory for propositional modal logics
- Logic and majority voting
- Normality, non-contamination and logical depth in classical natural deduction
- Proof theory for functional modal logic
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Sequent calculi for intuitionistic Gödel-Löb logic
- A more unified approach to free logics
- Normal derivability in classical natural deduction
- On paradoxes in normal form
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- An investigation into intuitionistic logic with identity
- Noncontractive classical logic
- A message-passing interpretation of adjoint logic
- Subatomic negation
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- scientific article; zbMATH DE number 1795222 (Why is no real title available?)
- Sequent Calculus for Euler Diagrams
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- Leśniewski's ontology -- proof-theoretic characterization
- Classical harmony and separability
- Metainferential reasoning on strong Kleene models
- Admissibility of cut in congruent modal logics
- Functional Completeness in CPL via Correspondence Analysis
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- Sequent calculi for \(\mathsf{SCI}\)
- Sequent calculi for semi-De Morgan and De Morgan algebras
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- A conservative negation extension of positive semilattice logic without the finite model property
- Recapturing dynamic logic of relation changers via bounded morphisms
- Varieties of linear calculi
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
- A simple sequent calculus for Angell's logic of analytic containment
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Paradox and logical revision. A short introduction
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- The \(\lambda \)-calculus and the unity of structural proof theory
- Reasoning about truth in first-order logic
- Principles for object-linguistic consequence: from logical to irreflexive
- Sequoia
- Interpolation in extensions of first-order logic
- Intuitionistic predicate logic with decidable propositional atoms
- Reasoning processes in propositional logic
- Equality and Apartness in Bi-intuitinistic Logic
- Normal proofs, cut free derivations and structural rules
- Cut elimination for entailment relations
- Towards a non-classical meta-theory for substructural approaches to paradox
- Conditional beliefs: from neighbourhood semantics to sequent calculus
- Sequent-calculi for metainferential logics
- Reasoning with ambiguity
- Logicality, double-line rules, and modalities
- Modular sequent calculi for classical modal logics
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
- tuCLEVER
- Tautology elimination, cut elimination, and S5
- The Jacobson radical for an inconsistency predicate
- Sequent calculi for the propositional logic of HYPE
- Fregean Description Theory in Proof-Theoretical Setting
- PRIORITY MERGE AND INTERSECTION MODALITIES
- The Rule of Existential Generalisation and Explicit Substitution
- Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
- Composition of deductions within the propositions-as-types paradigm
- From QBFs to \textsf{MALL} and back via focussing
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
- Maximum segments as natural deduction images of some cuts
- Introspection, normality and agglomeration
- Inferring, splicing, and the Stoic analysis of argument
- Constructive embedding from extensions of logics of strict implication into modal logics
- Herzberger's limit rule with labelled sequent calculus
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Eight inference rules for implication
- Calculizing classical inferential erotetic logic
- Stoic Sequent Logic and Proof Theory
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
- Disentangling structural connectives or life without display property
- Complete independence of an axiom system for central translations
- Deriving natural deduction rules from truth tables
- A NOTE ON THE SEQUENT CALCULI
- scientific article; zbMATH DE number 2247256 (Why is no real title available?)
- Structural proof theory for first-order weak Kleene logics
- The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
- Does the implication elimination rule need a minor premise?
- Fractional semantics for classical logic
- Open reading and free choice permission: a perspective in substructural logics
This page was built for software: Pesca
