The substitution interpretation in topological logic

DOI10.1007/BF00652073zbMath0278.02026OpenAlexW2058820193MaRDI QIDQ1394339

James W. Garson

Publication date: 1974

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00652073

Mathematics Subject Classification ID

General logic (03B99)

Cites Work

• The completeness of an intensional logic: Definite topological logic
• Indefinite topological logic
• Topological Logic

This page was built for publication: The substitution interpretation in topological logic