A constructive interpretation of the logical constants

DOI10.1017/BSL.2024.54MaRDI QIDQ6888626zbMATH OpenFDO

Authors Mohammad Ardeshir, Wim Ruitenburg

Publication date 8 December 2025

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/BSL.2024.54

zbMATH Keywords

constructive logicintuitionistic logicproof interpretation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)

Cites work

• A course in constructive algebra
• A propositional logic with explicit fixed points
• A unification of the basic logics of Sambin and Visser
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi
• Basic logic: reflection, symmetry, visibility
• Basic predicate calculus
• Basic Propositional Calculus I
• Boolean algebras in Visser algebras
• Braucht die konstruktive Mathematik Grundlagen?
• Brouwer's Conception of Truth
• Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
• Constructivism in mathematics. An introduction. Volume II
• Die formalen Regeln der intuitionistischen Logik. I, II, III.
• Die intuitionistische Grundlegung der Mathematik.
• Godel's interpretation of intuitionism
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3706391 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3639576 (Why is no real title available?)
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3336772 (Why is no real title available?)
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• Intuitionism. An introduction
• Intuitionism. An introduction. 3rd revised ed
• Intuitionistische splitsing van mathematische grondbegrippen.
• Intuitionistische Zerlegung mathematischer Grundbegriffe.
• Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• Over de Grondslagen der Wiskunde.
• Principia mathematica. Vol. III.
• Self-reference and modal logic
• The Constructive Mathematics of A. A. Markov
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

This page was built for publication: A constructive interpretation of the logical constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6888626)