Gleit, Zachary; Goldfarb, Warren Characters and fixed points in provability logic. (English) Zbl 0713.03008 Notre Dame J. Formal Logic 31, No. 1, 26-36 (1990). Reviewer: V.V.Rybakov MSC: 03B45 03F40 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon Gentzenizing Schroeder-Heister’s natural extension of natural deduction. (English) Zbl 0712.03046 Notre Dame J. Formal Logic 31, No. 1, 127-135 (1990). Reviewer: O.Sonobe MSC: 03F05 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Reidhaar-Olson, Lisa A new proof of the fixed-point theorem of provability logic. (English) Zbl 0712.03011 Notre Dame J. Formal Logic 31, No. 1, 37-43 (1990). Reviewer: O.Sonobe MSC: 03B45 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Voorbraak, Frans A simplification of the completeness proofs for Guaspari and Solovay’s R. (English) Zbl 0712.03010 Notre Dame J. Formal Logic 31, No. 1, 44-63 (1990). Reviewer: O.Sonobe MSC: 03B45 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Fox, John Motivation and demotivation of a four-valued logic. (English) Zbl 0709.03001 Notre Dame J. Formal Logic 31, No. 1, 76-80 (1990). Reviewer: I.D’Ottaviano MSC: 03A05 03B50 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Shelah, Saharon; Steinhorn, Charles The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata. (English) Zbl 0707.03031 Notre Dame J. Formal Logic 31, No. 1, 1-13 (1990). Reviewer: D.Mundici MSC: 03C80 03C95 × Cite Format Result Cite Review PDF Full Text: DOI
Belnap, Nuel Linear logic displayed. (English) Zbl 0706.03043 Notre Dame J. Formal Logic 31, No. 1, 14-25 (1990). Reviewer: L.Goble MSC: 03F05 03B70 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Goranko, Valentin Modal definability in enriched languages. (English) Zbl 0706.03016 Notre Dame J. Formal Logic 31, No. 1, 81-105 (1990). Reviewer: M.J.Cresswell MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove Defining “good” and “bad” in terms of “better”. (English) Zbl 0706.03008 Notre Dame J. Formal Logic 31, No. 1, 136-149 (1990). Reviewer: W.Lenzen MSC: 03A05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Sommers, Fred Predication in the logic of terms. (English) Zbl 0706.03007 Notre Dame J. Formal Logic 31, No. 1, 106-126 (1990). Reviewer: J.Mackenzie MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Brunner, Norbert The Fraenkel-Mostowski method, revisited. (English) Zbl 0701.03024 Notre Dame J. Formal Logic 31, No. 1, 64-75 (1990). Reviewer: N.Brunner MSC: 03E25 × Cite Format Result Cite Review PDF Full Text: DOI