Five observations concerning the intended meaning of the intuitionistic logical constants

DOI10.1023/A:1004881914911zbMATH Open0961.03056MaRDI QIDQ1582231FDOQ1582231

Authors: Gustavo Fernández Díez 

Publication date: 3 October 2000

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

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

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)

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• 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
• Coalgebras as types determined by their elimination rules
• Mass problems and intuitionistic higher-order logic
• Constructions, proofs and the meaning of logical constants
• The intended interpretation of intuitionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)