Homeomorphism and the Equivalence of Logical Systems
Open Access
- 1 July 1998
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 39 (3) , 422-435
- https://doi.org/10.1305/ndjfl/1039182255
Abstract
Project Euclid - mathematics and statistics onlineKeywords
This publication has 8 references indexed in Scilit:
- Closed Bases and Closure LogicMonist, 1996
- Closure Spaces and LogicPublished by Springer Nature ,1996
- A Structuralist Theory of LogicPublished by Cambridge University Press (CUP) ,1992
- Theory of Logical CalculiPublished by Springer Nature ,1988
- A warning about the choice of primitive operators in modal logicJournal of Philosophical Logic, 1973
- Tonk, Plonk and PlinkAnalysis, 1962
- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. IMonatshefte für Mathematik, 1930
- Introduction to a form of general analysisPublished by American Mathematical Society (AMS) ,1910