Publication:2744125
From MaRDI portal
zbMath1113.03051MaRDI QIDQ2744125
Publication date: 18 September 2001
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F07: Structure of proofs
Related Items
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, Tautology Elimination, Cut Elimination, and S5, AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ, Stanisław Jaśkowski and Natural Deduction Systems, From mathematical axioms to mathematical rules of proof: recent developments in proof analysis, Stoic Sequent Logic and Proof Theory, Deriving Natural Deduction Rules from Truth Tables, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Functional Completeness in CPL via Correspondence Analysis, Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate, Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus, Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation, A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic, LINEAR TIME IN HYPERSEQUENT FRAMEWORK, Book review of: J. von Plato, Elements of logical reasoning, Incomplete symbols -- definite descriptions revisited, Glivenko sequent classes in the light of structural proof theory, On all strong Kleene generalizations of classical logic, Analytic rules for mereology, A proof-search procedure for intuitionistic propositional logic, Does the deduction theorem fail for modal logic?, Socratic trees, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, On harmony and permuting conversions, General-elimination stability, General-elimination harmony and the meaning of the logical constants, Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus, Hypersequent calculi for intuitionistic logic with classical atoms, Reasoning about collectively accepted group beliefs, Proof analysis in intermediate logics, A framework for proof systems, Corrected upper bounds for free-cut elimination, Principles for object-linguistic consequence: from logical to irreflexive, The bounded proof property via step algebras and step frames, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Proof analysis in modal logic, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), Tableaux and dual tableaux: transformation of proofs, Sequent calculi for semi-De Morgan and De Morgan algebras, A simple sequent calculus for Angell's logic of analytic containment, 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, Socratic proofs, Reasoning processes in propositional logic, 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, 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, Proof analysis of Peirce's alpha system of graphs, 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, A proof theoretic view of spatial and temporal dependencies in biochemical systems, Logicality, double-line rules, and modalities, Free of Detachment: Logic, Rationality, and Gluts, Does the Implication Elimination Rule Need a Minor Premise?, Forms of the Pasch axiom in ordered geometry, Introspection, Normality and Agglomeration, Focusing in Linear Meta-logic, Proof Theory for Distributed Knowledge
Uses Software
