Homeomorphism and the equivalence of logical systems

DOI10.1305/ndjfl/1039182255zbMath0967.03007OpenAlexW2055005866MaRDI QIDQ5937829

Stephen Pollard

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

zbMATH Keywords

homeomorphismconnectiveequivalence of logical systemstopological properties of logical systems

Mathematics Subject Classification ID

Algebraic logic (03G99) Foundations of classical theories (including reverse mathematics) (03B30) Abstract deductive systems (03B22)

Related Items (1)

Synonymous logics

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• A warning about the choice of primitive operators in modal logic
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Homeomorphism and the equivalence of logical systems