Switch to: Citations

References in:

Complement-Topoi and Dual Intuitionistic Logic

Luis Estrada-González

Australasian Journal of Logic 9:26-44 (2010)

Add references

You must login to add references.

A remark on Gentzen's calculus of sequents.Johannes Czermak - 1977 - Notre Dame Journal of Formal Logic 18 (3):471-474.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 18 citations
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic.Cecylia Rauszer - 1980 - Warszawa: [available from Ars Polona].details Intuitionistic Logic in Logic and Philosophy of Logic Philosophy of Mathematics Polish Philosophy in European Philosophy Direct download (2 more) Export citation Bookmark 32 citations
Closed Set Logic.C. Mortensen - unknowndetails Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 4 citations

1