Five observations concerning the intended meaning of the intuitionistic logical constants

DOI10.1023/A:1004881914911zbMath0961.03056MaRDI QIDQ1582231

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) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Mass problems and intuitionistic higher-order logic ⋮ Coalgebras as Types Determined by Their Elimination Rules ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• The intended interpretation of intuitionistic logic
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Untersuchungen über das logische Schliessen. I
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Meaning and proofs: on the conflict between classical and intuitionistic logic

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