\(\alpha\)-models and the systems T and T\(^*\)

DOI10.1305/NDJFL/1093891405zbMath0246.02049OpenAlexW2013467307MaRDI QIDQ2555496

Newton C. A. Da Costa

Publication date: 1974

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

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

Mathematics Subject Classification ID

Model theory (03C99) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

A Survey of Annotated Logics

This page was built for publication: \(\alpha\)-models and the systems T and T\(^*\)