Article contents
A Determinate Logic
Published online by Cambridge University Press: 22 January 2016
Extract
Let L be a fixed language and K be a set of structures related to L. A sentence in L is said to be K-valid if and only if for every structure
in K,
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1970
References
- 1
- Cited by