scientific article; zbMATH DE number 192927
From MaRDI portal
Publication:4039813
algebraic modelscompleteness theoremscut-elimination theoremHeyting algebraintuitionistic analysisintuitionistic arithmeticintuitionistic logicintuitionistic simple theory of typesproof theorypurely syntactical methodsrealizability
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99) Proof theory and constructive mathematics (03Fxx)
Recommendations
Cited in
(63)- The metamathematics of ergodic theory
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
- Markov's constructive analysis; a participant's view
- Algebraic proofs of cut elimination
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- A simple sequent calculus for Angell's logic of analytic containment
- Lewis meets Brouwer: constructive strict implication
- Natural deduction for bi-intuitionistic logic
- A semantic hierarchy for intuitionistic logic
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Structural cut elimination. I: Intuitionistic and classical logic
- Saturated models of universal theories
- Intersection types for explicit substitutions
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
- The Došen square under construction: a tale of four modalities
- Interpolation in extensions of first-order logic
- Absorbing the structural rules in the sequent calculus with additional atomic rules
- Rudimentary Kripke models for the intuitionistic propositional calculus
- Semantics for intuitionistic epistemic logics of shallow depths for game theory
- Heyting-valued interpretations for constructive set theory
- Three roads to complete lattices: orders, compatibility, polarity
- B-frame duality
- Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
- Quantified modal logic on the rational line
- Intuitionistic Decision Procedures Since Gentzen
- Introduction: Mathesis Universalis, Proof and Computation
- Proof systems for various \textsf{FDE}-based modal logics
- Constructive proof theory and nonstandard analysis. Edited by G. E. Mints
- Intuitionism and the Anti-Justification of Bivalence
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- scientific article; zbMATH DE number 4033739 (Why is no real title available?)
- Contraction-free sequent calculi for intuitionistic logic
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 1344488 (Why is no real title available?)
- A Brauer's theorem and related results
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- Some weak fragments of HA and certain closure properties
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
- Forcing in Proof Theory
- scientific article; zbMATH DE number 851275 (Why is no real title available?)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
- In Memoriam: Albert G. Dragalin 1941–1998
- Image of Soviet and Russian logic in the West. Latter Half of the XXth Century
- A NOTE ON THE SEQUENT CALCULI
- Constructive embedding from extensions of logics of strict implication into modal logics
- On algebraisation of superintuitionistic predicate logics
- Multiple conclusion linear logic: cut elimination and more
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
- Subtractive logic
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
- A Lindström theorem for intuitionistic first-order logic
- Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic
- Cover systems for the modalities of linear logic
- Bitopological models of intuitionistic epistemic logic
- On the optimal choice of the illumination function in photoacoustic tomography
- Nested sequents or tree-hypersequents -- a survey
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- Invertibility in Sequent Calculi
- Cut-free Gentzen calculus for multimodal CK
- Simplifying proofs in Fitch-style natural deduction systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4039813)
