You are not currently logged in.
Access JSTOR through your library or other institution:
A Simplification of a Completeness Proof of Guaspari and Solovay
Dick H. J. de Jongh
Studia Logica: An International Journal for Symbolic Logic
Vol. 46, No. 2 (1987), pp. 187-192
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015306
Page Count: 6
You can always find the topics here!Topics: Equivalence relation
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R⁻ are improved and the relationship between R and R⁻ is clarified.
Studia Logica: An International Journal for Symbolic Logic © 1987 Springer