Proof analysis in intermediate logics
From MaRDI portal
The authors continue the investigation of cut-free systems for superintuitionistic logics inspired by translating a formula \(F\) into a formula saying ``\(F\) is true in all Kripke models (of a given logic). The approach works smoothly when the condition on the accessibility relation in Kripke models is expressed by a geometric formula \(\forall\bar{Z}P\rightarrow \exists\bar{x}M\) where \(P\) is a conjunction of atomic formulas and \(M\) is a disjunction of conjunctions of atomic formulas.
Recommendations
- scientific article; zbMATH DE number 4051564
- Proof analysis in modal logic
- Proof analysis in non-classical logics
- A proof-theoretical analysis of semiconstructive intermediate theories
- Analytic methods for the logic of proofs
- scientific article; zbMATH DE number 3873298
- scientific article; zbMATH DE number 4195154
- scientific article; zbMATH DE number 4099259
- An analytic calculus for the intuitionistic logic of proofs
- scientific article; zbMATH DE number 3999891
Cites work
- A completeness theorem in modal logic
- A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
- A deterministic terminating sequent calculus for Godel-Dummett logic
- A first order system with finite choice of premises
- A sequent calculus and a theorem prover for standard conditional logics
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Counting the maximal intermediate constructive logics
- Cut Elimination in the Presence of Axioms
- Decision methods for linearly ordered Heyting algebras
- Displaying modal logic
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Expanding the Realm of Systematic Proof Theory
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 1489626 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 3257389 (Why is no real title available?)
- scientific article; zbMATH DE number 970628 (Why is no real title available?)
- scientific article; zbMATH DE number 3105203 (Why is no real title available?)
- Interpolation properties of superintuitionistic logics
- Modal Logics Between S 4 and S 5
- On Skolemization in constructive theories
- On the rules of intermediate logics
- Proof Analysis
- Proof analysis in modal logic
- Proof analysis in non-classical logics
- Proof methods for modal and intuitionistic logics
- Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
- Proof systems for lattice theory
- Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993
- Proof-theoretical analysis of order relations
- Some theorems about the sentential calculi of Lewis and Heyting
- Structural proof theory. With an appendix by Aarne Ranta
- Tableau methods for modal and temporal logics
- THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
Cited in
(56)- A note on sequent calculi intermediate between LJ and LK
- Proof-theoretic analysis by iterated reflection
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
- Proof theory for positive logic with weak negation
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- Proofs and countermodels in non-classical logics
- An analytic calculus for the intuitionistic logic of proofs
- Disentangling structural connectives or life without display property
- Intermediate logics admitting a structural hypersequent calculus
- The Church-Fitch knowability paradox in the light of structural proof theory
- The intensional side of algebraic-topological representation theorems
- scientific article; zbMATH DE number 1612552 (Why is no real title available?)
- Geometrisation of first-order logic
- A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
- Proof analysis for Lewis counterfactuals
- Inducing syntactic cut-elimination for indexed nested sequents
- Hypersequent and labelled calculi for intermediate logics
- Intuitionistic Decision Procedures Since Gentzen
- Through an inference rule, darkly
- Labeled sequent calculus for justification logics
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Invited Talk: Coherentisation of First-Order Logic
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- Labeled sequent calculi for modal logics and implicit contractions
- Conditional beliefs: from neighbourhood semantics to sequent calculus
- Inducing syntactic cut-elimination for indexed nested sequents
- A comparison between monoidal and substructural logics
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Geometric Rules in Infinitary Logic
- Stoic Sequent Logic and Proof Theory
- Meaning in use
- Constructive embedding from extensions of logics of strict implication into modal logics
- Monoidal logics: completeness and classical systems
- Proof analysis in non-classical logics
- A proof theoretic analysis of intruder theories
- A Proof Theoretic Analysis of Intruder Theories
- An ecumenical notion of entailment
- Labelled calculi for lattice-based modal logics
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- A natural deduction calculus for \textbf{S4.2}
- Subintuitionistic logics and their modal companions: a nested approach
- Bounded inquisitive logics: sequent calculi and schematic validity
- Gödel's modal interpretation of intuitionistic logic and its proof theory
- Internal and external calculi: ordering the jungle without being lost in translations
- Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- A terminating intuitionistic calculus
- Constructive theories through a modal lens
- Labelled sequent calculi for inquisitive modal logics
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- Geometric theories in inquisitive modal logic
- Bilateral labeled sequent calculi
- An algebraic study of Peterson's intermediate syllogisms
This page was built for publication: Proof analysis in intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661286)
