Geodesic
Semantics based on states of affairs
Kybernetika, Tome 11 (1975) no. 5, pp. 319-335

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
Classification : 02A05, 02H05, 03A05, 03B99 
Mleziva, Miroslav. Semantics based on states of affairs. Kybernetika, Tome 11 (1975) no. 5, pp. 319-335. http://geodesic.mathdoc.fr/item/KYB_1975_11_5_a0/
@article{KYB_1975_11_5_a0,
     author = {Mleziva, Miroslav},
     title = {Semantics based on states of affairs},
     journal = {Kybernetika},
     pages = {319--335},
     year = {1975},
     volume = {11},
     number = {5},
     mrnumber = {0419210},
     zbl = {0317.02053},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1975_11_5_a0/}
}
TY  - JOUR
AU  - Mleziva, Miroslav
TI  - Semantics based on states of affairs
JO  - Kybernetika
PY  - 1975
SP  - 319
EP  - 335
VL  - 11
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/KYB_1975_11_5_a0/
LA  - en
ID  - KYB_1975_11_5_a0
ER  - 
%0 Journal Article
%A Mleziva, Miroslav
%T Semantics based on states of affairs
%J Kybernetika
%D 1975
%P 319-335
%V 11
%N 5
%U http://geodesic.mathdoc.fr/item/KYB_1975_11_5_a0/
%G en
%F KYB_1975_11_5_a0

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

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

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