Semantics based on states of affairs

Previous | Up | Next

Article

Semantics based on states of affairs. (English). Kybernetika, vol. 11 (1975), issue 5, pp. (319)-335

MSC: 02A05, 02H05, 03A05, 03B99 | MR 0419210 | Zbl 0317.02053

References:

[1] M. Mleziva: States of Affairs as Values for Formulas. Kybernetika 11 (1975), 1, 3-26. MR 0406757 | Zbl 0302.02016

[2] C. C. Chang H. J. Keisler: Model Theory. North-Holland Publishing Company, Amsterdam-London 1973. MR 0409165

[3] H. Rubin J. Rubin: Equivalents of the Axiom of Choice. North-Holland Publishing Company, Amsterdam-London 1970. MR 0434812

Partner of