Notre Dame Journal of Formal Logic

Logics of truth.

Raymond Turner

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic, Volume 31, Number 2 (1990), 308-329.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093635425

Digital Object Identifier
doi:10.1305/ndjfl/1093635425

Mathematical Reviews number (MathSciNet)
MR1058431

Zentralblatt MATH identifier
0709.03015

Subjects
Primary: 03B40: Combinatory logic and lambda-calculus [See also 68N18]
Secondary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

Citation

Turner, Raymond. Logics of truth. Notre Dame J. Formal Logic 31 (1990), no. 2, 308--329. doi:10.1305/ndjfl/1093635425. https://projecteuclid.org/euclid.ndjfl/1093635425


Export citation