Five observations concerning the intended meaning of the intuitionistic logical constants

DOI10.1023/A:1004881914911MaRDI QIDQ1582231zbMATH OpenFDO

Authors Gustavo Fernández Díez

Publication date 3 October 2000

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicintuitionistic semanticslogical constant

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 3952717
• The intended interpretation of intuitionistic logic
• Constructions, proofs and the meaning of logical constants
• Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
• Antirealism and falsity

Cites work

• scientific article; zbMATH DE number 3427305 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1028823 (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 3317730 (Why is no real title available?)
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Intuitionism. An introduction
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• The intended interpretation of intuitionistic logic
• Untersuchungen über das logische Schliessen. I

Cited in

(10)

• scientific article; zbMATH DE number 5910657 (Why is no real title available?)
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
• Constructions, proofs and the meaning of logical constants
• The intended interpretation of intuitionistic logic
• Mass problems and intuitionistic higher-order logic
• Coalgebras as types determined by their elimination rules
• scientific article; zbMATH DE number 3952717 (Why is no real title available?)
• scientific article; zbMATH DE number 30929 (Why is no real title available?)

This page was built for publication: Five observations concerning the intended meaning of the intuitionistic logical constants

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