Logosphere

Logosphere.
A Formal Digital Library.

Department of Computer Science
Yale University
51 Prospect St.
New Haven, CT 06520-8285
U.S.A.

	Home
	Publications
	Logics Resolution Paramodulation HOL Nuprl PVS
	Examples

Here are some examples on how to use the Logosphere database. Just save one of the files on your local machine, and upload it through Logosphere.

Propositional Logics