| Title:
|
Semantics based on states of affairs (English) |
| Author:
|
Mleziva, Miroslav |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
11 |
| Issue:
|
5 |
| Year:
|
1975 |
| Pages:
|
(319)-335 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02A05 |
| MSC:
|
02H05 |
| MSC:
|
03A05 |
| MSC:
|
03B99 |
| idZBL:
|
Zbl 0317.02053 |
| idMR:
|
MR0419210 |
| . |
| Date available:
|
2009-09-24T16:47:11Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125552 |
| . |
| Reference:
|
[1] M. Mleziva: States of Affairs as Values for Formulas.Kybernetika 11 (1975), 1, 3-26. Zbl 0302.02016, MR 0406757 |
| Reference:
|
[2] C. C. Chang H. J. Keisler: Model Theory.North-Holland Publishing Company, Amsterdam-London 1973. MR 0409165 |
| Reference:
|
[3] H. Rubin J. Rubin: Equivalents of the Axiom of Choice.North-Holland Publishing Company, Amsterdam-London 1970. MR 0434812 |
| . |