scientific article; zbMATH DE number 3685485

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) 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)

Cited in

(24)

Semantic characterization of intuitionistic logical connectives
The consistency of some intuitionistic and constructive principles with a set theory
On arithmetic complexity of certain constructive logics
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Correspondences between classical, intuitionistic and uniform provability
A semantic hierarchy for intuitionistic logic
The Skolemization of prenex formulas in intermediate logics
Varieties of logical matrices
Theorem prover for intuitionistic logic based on the inverse method
A survey of predicate realizability logic
Theories of propositional logics and the converse of substitution
The final cut
Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
Quantified intuitionistic logic over metrizable spaces
Gödel and intuitionism
Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
Cardinality reduction theorem for logics QHC and QH4
On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC
Substructural nuclear (image-based) logics and operational Kripke-style semantics
A constructive predicate calculus
Gentzen's overview of calculi and reductions in consistency proofs
Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
Intuitionistic epistemic logic from the point of view of classical logic

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 Q3880841)