Notre Dame Journal of Formal Logic

Predication in the logic terms.

Fred Sommers

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic, Volume 31, Number 1 (1989), 106-126.

Dates
First available in Project Euclid: 27 August 2004

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

Digital Object Identifier
doi:10.1305/ndjfl/1093635336

Mathematical Reviews number (MathSciNet)
MR1043795

Zentralblatt MATH identifier
0706.03007

Subjects
Primary: 03B20: Subsystems of classical logic (including intuitionistic logic)
Secondary: 03G25: Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35]

Citation

Sommers, Fred. Predication in the logic terms. Notre Dame J. Formal Logic 31 (1989), no. 1, 106--126. doi:10.1305/ndjfl/1093635336. https://projecteuclid.org/euclid.ndjfl/1093635336


Export citation