scientific article
From MaRDI portal
Publication:3837723
zbMath0861.03043MaRDI QIDQ3837723
Publication date: 12 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Socratic proofs, Interpolation Method for Multicomponent Sequent Calculi, A linear logic framework for multimodal logics, Basing sequent systems on exclusive-or, Linear Nested Sequents, 2-Sequents and Hypersequents, A Standard Internal Calculus for Lewis’ Counterfactual Logics, Uniform interpolation via nested sequents, A deep inference system for the modal logic S5, Hypersequent rules with restricted contexts for propositional modal logics, A cut-free calculus for second-order Gödel logic, Socratic trees, Proof theory for locally finite many-valued logics: semi-projective logics, Prior’s OIC nonconservativity example revisited, LINEAR TIME IN HYPERSEQUENT FRAMEWORK, Mechanising Gödel-Löb provability logic in HOL light, A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Metasequents and tetravaluations, Disentangling structural connectives or life without display property, Intermediate logics admitting a structural hypersequent calculus, Tableaux and hypersequents for justification logics, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS, FRACTIONAL-VALUED MODAL LOGIC, Proof search and co-NP completeness for many-valued logics, Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Complexity of the universal theory of residuated ordered groupoids, Natural deduction calculi for classical and intuitionistic S5, Fractional-Valued Modal Logic and Soft Bilateralism, Cut Elimination for Extended Sequent Calculi, Hypersequent calculi for intuitionistic logic with classical atoms, Free modal Riesz spaces are Archimedean: a syntactic proof, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Two-sided sequent calculi for \textit{FDE}-like four-valued logics, Hypersequent Calculi for S5: The Methods of Cut Elimination, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, A fresh view of linear logic as a logical framework, Through an Inference Rule, Darkly, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Non-classical elegance for sequent calculus enthusiasts, Using typed lambda calculus to implement formal systems on a machine, Hyperformulae, Parallel Deductions and Intersection Types, Proofs and countermodels in non-classical logics, Analytic calculi for product logics, A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5, Hypersequent and display calculi -- a unified perspective, A survey of nonstandard sequent calculi, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, A generalized proof-theoretic approach to logical argumentation based on hypersequents, Unnamed Item, Socratic proofs for quantifiers, Display calculi and other modal calculi: a comparison, Multicomponent proof-theoretic method for proving interpolation properties, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., A review of the relations between logical argumentation and reasoning with maximal consistency, The bounded proof property via step algebras and step frames, Prawitz, Proofs, and Meaning, Focused and Synthetic Nested Sequents, On a multilattice analogue of a hypersequent S5 calculus, Complexity of the universal theory of modal algebras, A general proof certification framework for modal logic, An analytic calculus for the intuitionistic logic of proofs, Modal multilattice logics with Tarski, Kuratowski, and Halmos operators, Sequent calculi for choice logics, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), Interpretations of Weak Positive Modal Logics, R-Mingle is Nice, and so is Arnon Avron, Cut elimination inside a deep inference system for classical predicate logic
