| Title:
|
On the relation of three-valued logic to modal logic (English) |
| Author:
|
Bendová, Kamila |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
22 |
| Issue:
|
4 |
| Year:
|
1981 |
| Pages:
|
637-653 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B45 |
| MSC:
|
03B46 |
| MSC:
|
03B50 |
| idZBL:
|
Zbl 0481.03012 |
| idMR:
|
MR647013 |
| . |
| Date available:
|
2008-06-05T21:09:33Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106107 |
| . |
| Reference:
|
[1] S. C. KLEENE: Introduction to Metamathematics.Van Nostrand, New York, 1952. Zbl 0047.00703, MR 0051790 |
| Reference:
|
[2] P. HÁJEK K. BENDOVÁ Z. RENC: The GUHA method and the three-valued logic.Kybernetika 7 (1971),421-435. MR 0324940 |
| Reference:
|
[3] P. HÁJEK T. HAVRÁNEK: Mechanizing Hypothesis Formation.(Mathematical Foundations for a General Theory), Springer-Verlag 1978. MR 0501342 |
| Reference:
|
[4] J. P. CLEAVE: The notion of logical consequence in the Logic of inexact predicates.Zeitschr. Math. Logik Grundlagen Math. 20 (1974), 307-324. Zbl 0299.02015, MR 0373828 |
| Reference:
|
[5] D. SCOTT: Combinators and Classes.Lambda-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lecture Notes in Computer Science 37 (1975), 1-26. Zbl 0342.02018, MR 0505296 |
| Reference:
|
[6] S. A. KRIPKE: A completeness theorem in modal logic.J. Symb. Logic 24 (1959), 1-14. Zbl 0091.00902, MR 0110638 |
| Reference:
|
[7] R. PETS: Modal logics.Paris (1965). |
| Reference:
|
[8] W. LIPSKI: On the logic of incomplete information.in: Mathematical Foundations of Computer Science 1977 (J. Gruska, Ed.), Lecture Notes in Computer Science 53, Springer-Verlag, Berlin 1977, 374-381. Zbl 0363.02025, MR 0460106 |
| . |
