A survey of nonstandard sequent calculi

DOI10.1007/s11225-014-9567-yzbMath1318.03056OpenAlexW1985418894WikidataQ59399285 ScholiaQ59399285MaRDI QIDQ2259014

Andrzej Indrzejczak

Publication date: 27 February 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9567-y

zbMATH Keywords

natural deductionsequent calculiproof methods

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ A Sequent Systems without Improper Derivations ⋮ A Classification of Improper Inference Rules ⋮ First-Degree Entailment and Structural Reasoning ⋮ Gödel's natural deduction

Uses Software

• ETPS
• Pesca

Cites Work

• Socratic trees
• Logical constants as punctuation marks
• Natural deduction, hybrid systems and modal logics
• Simple consequence relations
• Gentzen calculi for modal propositional logic
• A study of some tense logics by Gentzen's sequential method
• A perspective on modal sequent logic
• Cut-free sequent calculi for some tense logics
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Natural deduction with general elimination rules
• Display logic
• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• Socratic proofs
• Hypersequent and display calculi -- a unified perspective
• Two separation theorems for natural deduction
• A formal theory of the logical values. I
• Proof routines for the propositional calculus
• A deep inference system for the modal logic S5
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Popper's theory of deductive inference and the concept of a logical constant
• Rules and Derived Rules
• Displaying the modal logic of consistency
• Sequent-systems for modal logic
• Sequents in many valued logic I
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A survey of nonstandard sequent calculi