A Simplification of the Completeness Proofs for Guaspari and Solovay's R

Notre Dame Journal of Formal Logic 31 (1):44-63 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1990

DOI

10.1305/ndjfl/1093635332

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Frans Voorbraak. A simplification of the completeness proofs for Guaspari and Solovay's R. Notre Dame journal of formal logic, vol. 31 , pp. 44–63. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):717-719.
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
A Simplification of a Completeness Proof of Guaspari and Solovay.Dick H. J. de Jongh - 1987 - Studia Logica 46 (2):187-192.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.
Some proofs of relative completeness in modal logic.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):62-66.
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.
Henkin style completeness proofs in theories lacking negation.John L. Pollock - 1971 - Notre Dame Journal of Formal Logic 12 (4):509-511.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Why is conjunctive simplification invalid?Bruce E. R. Thompson - 1991 - Notre Dame Journal of Formal Logic 32 (2):248-254.

Analytics

Added to PP
2014-04-07

Downloads
10 (#1,222,590)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.
Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (3):247-260.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):343-358.
Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):247-260.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.

Add more citations

References found in this work

No references found.

Add more references