Cited in
(only showing first 100 items - show all)- Reasoning about truth in first-order logic
- Constructive embedding from extensions of logics of strict implication into modal logics
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
- Revising a labelled sequent calculus for public announcement logic
- Incomplete symbols -- definite descriptions revisited
- Composition of deductions within the propositions-as-types paradigm
- From QBFs to \textsf{MALL} and back via focussing
- Eight inference rules for implication
- Paradox and logical revision. A short introduction
- Sequent systems for nondeterministic propositional logics without reflexivity
- Open reading and free choice permission: a perspective in substructural logics
- Noncontractive classical logic
- Yet another bijection between sequent calculus and natural deduction
- A more unified approach to free logics
- scientific article; zbMATH DE number 6296784 (Why is no real title available?)
- Inferring, splicing, and the Stoic analysis of argument
- Tableaux and dual tableaux: transformation of proofs
- A framework for proof systems
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Free logics are cut-free
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Normality, non-contamination and logical depth in classical natural deduction
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- A dual-context sequent calculus for the constructive modal logic S4
- Does the implication elimination rule need a minor premise?
- General-elimination harmony and the meaning of the logical constants
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Proof theory for functional modal logic
- Combinatorial analysis of proofs in projective and affine geometry
- Contraction contracted
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Admissibility of cut in LC with fixed point combinator
- Glivenko sequent classes in the light of structural proof theory
- Socratic proofs
- On multiple conclusion deductions in classical logic
- Intuitionistic predicate logic with decidable propositional atoms
- Prawitz, Proofs, and Meaning
- Normal derivability in classical natural deduction
- General-elimination harmony and higher-level rules
- Admissibility of cut in congruent modal logics
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- An investigation into intuitionistic logic with identity
- Decision methods for linearly ordered Heyting algebras
- Principles for object-linguistic consequence: from logical to irreflexive
- On all strong Kleene generalizations of classical logic
- Analytic rules for mereology
- Inversion principles and introduction rules
- Meaning in use
- A loop-free decision procedure for modal propositional logics K4, S4 and S5
- Cut-elimination and quantification in canonical systems
- Proof-theoretic harmony: towards an intensional account
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- A labelled sequent calculus for BBI: proof theory and proof search
- A conservative negation extension of positive semilattice logic without the finite model property
- Recapturing dynamic logic of relation changers via bounded morphisms
- Tautology elimination, cut elimination, and S5
- Proof systems for various \textsf{FDE}-based modal logics
- Sequent-calculi for metainferential logics
- Proof analysis of Peirce's alpha system of graphs
- Corrected upper bounds for free-cut elimination
- The Church-Fitch knowability paradox in the light of structural proof theory
- Judgement aggregation in non-classical logics
- The \(\lambda \)-calculus and the unity of structural proof theory
- Introspection, normality and agglomeration
- Axiomatizing geometric constructions
- Proof analysis in modal logic
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Validity concepts in proof-theoretic semantics
- Forms of the Pasch axiom in ordered geometry
- Uniform interpolation and propositional quantifiers in modal logics
- Sequent calculi for the propositional logic of HYPE
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Sequent Calculus for Euler Diagrams
- Modular sequent calculi for classical modal logics
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Fractional semantics for classical logic
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Deriving natural deduction rules from truth tables
- Complete independence of an axiom system for central translations
- A message-passing interpretation of adjoint logic
- Subatomic negation
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Sequent calculi for \(\mathsf{SCI}\)
- Sequent calculi for semi-De Morgan and De Morgan algebras
- The normalization theorem for extended natural deduction
- scientific article; zbMATH DE number 2095713 (Why is no real title available?)
- Logic and majority voting
- APS-1
- lolliCoP
- SQEMA
- LPL software
- Tipi
- CondLean
This page was built for software: Pesca
