Do we need models ?

DOI10.1305/NDJFL/1093637562zbMath0636.03032OpenAlexW1989524091MaRDI QIDQ1097875

Charles Sayward, Philip Hugly

Publication date: 1987

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

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

zbMATH Keywords

model theory\(\omega \)-inconsistent setsnon-denotational semanticstruth valuational semantics

Mathematics Subject Classification ID

Model theory (03C99)

This page was built for publication: Do we need models ?