Incomplete translations of complete logics

DOI10.1305/NDJFL/1093887928zbMath0332.02053OpenAlexW1975161459MaRDI QIDQ1227610

Stewart Shapiro

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887928

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05) Categoricity and completeness of theories (03C35)

Related Items (1)

Intuitionistic logic is a connexive logic

This page was built for publication: Incomplete translations of complete logics