Homeomorphism and the equivalence of logical systems
From MaRDI portal
Publication:5937829
DOI10.1305/ndjfl/1039182255zbMath0967.03007MaRDI QIDQ5937829
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039182255
homeomorphism; connective; equivalence of logical systems; topological properties of logical systems
03G99: Algebraic logic
03B30: Foundations of classical theories (including reverse mathematics)
03B22: Abstract deductive systems
Related Items
Cites Work