Pesca
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Sequoia
- APS-1
- A normalizing system of natural deduction for intuitionistic linear logic
- lolliCoP
- SQEMA
- Sequent calculi for \(\mathsf{SCI}\)
- Sequent calculi for semi-De Morgan and De Morgan algebras
- A simple sequent calculus for Angell's logic of analytic containment
- LPL software
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- Proof theory for functional modal logic
- Paradox and logical revision. A short introduction
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Permutability of rules in lattice theory.
- Varieties of linear calculi
- Socratic proofs
- Reasoning processes in propositional logic
- Sequent calculi for intuitionistic Gödel-Löb logic
- Recapturing dynamic logic of relation changers via bounded morphisms
- A conservative negation extension of positive semilattice logic without the finite model property
- A message-passing interpretation of adjoint logic
- Reasoning with ambiguity
- Subatomic negation
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- Classical harmony and separability
- Maximum segments as natural deduction images of some cuts
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
- Leśniewski's ontology -- proof-theoretic characterization
- Tipi
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Sequent-calculi for metainferential logics
- Logic and majority voting
- Sequent calculi for the propositional logic of HYPE
- Essential structure of proofs as a measure of complexity
- Interpolation in extensions of first-order logic
- Herzberger's limit rule with labelled sequent calculus
- CSLLean
- CondLean
- KLMLean
- NESCOND
- Quati
- From QBFs to \textsf{MALL} and back via focussing
- Composition of deductions within the propositions-as-types paradigm
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Towards a non-classical meta-theory for substructural approaches to paradox
- Free logics are cut-free
- Proofs and countermodels in non-classical logics
- Reasoning about truth in first-order logic
- Normal proofs, cut free derivations and structural rules
- A survey of nonstandard sequent calculi
- A loop-free decision procedure for modal propositional logics K4, S4 and S5
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- On paradoxes in normal form
- Noncontractive classical logic
- Normality, non-contamination and logical depth in classical natural deduction
- Absorbing the structural rules in the sequent calculus with additional atomic rules
- Cut elimination for entailment relations
- Eight inference rules for implication
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Modular sequent calculi for classical modal logics
- TABLEAUX
- Proof analysis of Peirce's alpha system of graphs
- MaTest
- TTM
- Disentangling structural connectives or life without display property
- The Church-Fitch knowability paradox in the light of structural proof theory
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Sufficient conditions for cut elimination with complexity analysis
- Axiomatizing geometric constructions
- Decision methods for linearly ordered Heyting algebras
- Validity concepts in proof-theoretic semantics
- Incomplete symbols -- definite descriptions revisited
- Dremel
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Logicality, double-line rules, and modalities
- Metainferential reasoning on strong Kleene models
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- The original sin of proof-theoretic semantics
- Aximo
- The intensional side of algebraic-topological representation theorems
- Proof-theoretic harmony: towards an intensional account
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- Neutral free logic: motivation, proof theory and models
- Structural proof theory. With an appendix by Aarne Ranta
- Glivenko sequent classes in the light of structural proof theory
- A labelled sequent calculus for BBI: proof theory and proof search
- Correspondence between modal Hilbert axioms and sequent rules with an application to S5
- Sequent systems for nondeterministic propositional logics without reflexivity
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Normal derivability in classical natural deduction
- Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
- Inferring, splicing, and the Stoic analysis of argument
- On all strong Kleene generalizations of classical logic
- Analytic rules for mereology
- Admissibility of cut in congruent modal logics
- Does the implication elimination rule need a minor premise?
- Ultimate Normal Forms for Parallelized Natural Deductions
- KANREN
- Verificationism and Classical Realizability
This page was built for software: Pesca
