Intuitionistic completeness and classical logic
type: Item
instance of: scholarly article
title: Intuitionistic completeness and classical logic
zbMATH Open document ID: 1050.03041
published in: Notre Dame Journal of Formal Logic
publication date: 2004-10-01T00:00:00Z
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 2104807
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: incompleteness
zbMATH Keywords: completeness
author: David Charles McCarty
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1074396309
OpenAlex ID: W2023681781
cites work: Q4133603
cites work: On weak completeness of intuitionistic predicate logic
cites work: Constructive validity is nonarithmetic
cites work: Incompleteness in intuitionistic metamathematics
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1305/NDJFL/1074396309
description: scientific article; zbMATH DE number 2104807