Notre Dame Journal of Formal Logic

Some results on intermediate constructive logics.

Pierangelo Miglioli,Ugo Moscato,Mario Ornaghi,Silvia Quazza, and Gabriele Usberti

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 30, Number 4 (1989), 543-562.

Dates
First available: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093635238

Zentralblatt MATH identifier
0692.03014

Mathematical Reviews number (MathSciNet)
MR1036676

Digital Object Identifier
doi:10.1305/ndjfl/1093635238

Subjects
Primary: 03B55: Intermediate logics
Secondary: 03F50: Metamathematics of constructive systems

Citation

Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele. Some results on intermediate constructive logics. Notre Dame Journal of Formal Logic 30 (1989), no. 4, 543--562. doi:10.1305/ndjfl/1093635238. http://projecteuclid.org/euclid.ndjfl/1093635238.


Export citation