Geodesic
On the relation of three-valued logic to modal logic
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 637-653 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B45, 03B46, 03B50 
@article{CMUC_1981_22_4_a0,
     author = {Bendov\'a, Kamila},
     title = {On the relation of three-valued logic to modal logic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {637--653},
     year = {1981},
     volume = {22},
     number = {4},
     mrnumber = {647013},
     zbl = {0481.03012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a0/}
}
TY  - JOUR
AU  - Bendová, Kamila
TI  - On the relation of three-valued logic to modal logic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 637
EP  - 653
VL  - 22
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a0/
LA  - en
ID  - CMUC_1981_22_4_a0
ER  - 
%0 Journal Article
%A Bendová, Kamila
%T On the relation of three-valued logic to modal logic
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 637-653
%V 22
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a0/
%G en
%F CMUC_1981_22_4_a0
Bendová, Kamila. On the relation of three-valued logic to modal logic. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 637-653. http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a0/

[1] S. C. KLEENE: Introduction to Metamathematics. Van Nostrand, New York, 1952. | MR | Zbl

[2] P. HÁJEK K. BENDOVÁ Z. RENC: The GUHA method and the three-valued logic. Kybernetika 7 (1971),421-435. | MR

[3] P. HÁJEK T. HAVRÁNEK: Mechanizing Hypothesis Formation. (Mathematical Foundations for a General Theory), Springer-Verlag 1978. | MR

[4] J. P. CLEAVE: The notion of logical consequence in the Logic of inexact predicates. Zeitschr. Math. Logik Grundlagen Math. 20 (1974), 307-324. | MR | Zbl

[5] D. SCOTT: Combinators and Classes. Lambda-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lecture Notes in Computer Science 37 (1975), 1-26. | MR | Zbl

[6] S. A. KRIPKE: A completeness theorem in modal logic. J. Symb. Logic 24 (1959), 1-14. | MR | Zbl

[7] R. PETS: Modal logics. Paris (1965).

[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. | MR | Zbl