The completeness of intuitionistic propositional calculus for its intended interpretation

John P. Burgess

doi:10.1305/ndjfl/1093883336

The completeness of intuitionistic propositional calculus for its intended interpretation

John P. Burgess

Philosophy

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Original language	English (US)
Pages (from-to)	17-28
Number of pages	12
Journal	Notre Dame Journal of Formal Logic
Volume	22
Issue number	1
DOIs	https://doi.org/10.1305/ndjfl/1093883336
State	Published - Jan 1981

All Science Journal Classification (ASJC) codes

Logic

Access to Document

10.1305/ndjfl/1093883336

Cite this

@article{843c3a1c6f4a467587bc7580a4e5bcba,

title = "The completeness of intuitionistic propositional calculus for its intended interpretation",

author = "Burgess, {John P.}",

year = "1981",

month = jan,

doi = "10.1305/ndjfl/1093883336",

language = "English (US)",

volume = "22",

pages = "17--28",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "1",

}

TY - JOUR

T1 - The completeness of intuitionistic propositional calculus for its intended interpretation

AU - Burgess, John P.

PY - 1981/1

Y1 - 1981/1

UR - http://www.scopus.com/inward/record.url?scp=84972510819&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84972510819&partnerID=8YFLogxK

U2 - 10.1305/ndjfl/1093883336

DO - 10.1305/ndjfl/1093883336

M3 - Article

AN - SCOPUS:84972510819

SN - 0029-4527

VL - 22

SP - 17

EP - 28

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 1

ER -

The completeness of intuitionistic propositional calculus for its intended interpretation

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this