Five observations concerning the intended meaning of the intuitionistic logical constants
type: Item
instance of: scholarly article
title: Five observations concerning the intended meaning of the intuitionistic logical constants
zbMATH Open document ID: 0961.03056
DOI: 10.1023/A:1004881914911
author: Gustavo Fernández Díez
published in: Journal of Philosophical Logic
publication date: 2000-10-03T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1512965
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: intuitionistic semantics
zbMATH Keywords: logical constant
MaRDI profile type: Publication
cites work: Q3754620
cites work: Q3214887
cites work: Q4342082
cites work: Untersuchungen über das logische Schliessen. I
cites work: Intuitionism. An introduction
cites work: Q5343326
cites work: Q5525322
cites work: Q5597507
cites work: Q3999860
cites work: Meaning and proofs: on the conflict between classical and intuitionistic logic
cites work: Constructions, proofs and the meaning of logical constants
cites work: Q4342086
cites work: Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: The intended interpretation of intuitionistic logic
description: scientific article; zbMATH DE number 1512965