O trojhodnotové logice
Úvodní stať stručně sleduje jednak vznik, axiomatizaci, funkční úplnost a použitelnost trojhodnotové logiky, jednak její poměr k logice dvouhodnotové. Následuje jádro publikace, axiomatizace trojhodnotové logiky pojmově jednodušší než dosavadní systémy a navíc pojmově spjaté s dvouhodnotovou logikou.
Saved in:
Bibliographic Details
- Main Author:
- Document Type:
- Books
- Document range:
- 66 s.
- Published:
-
Praha :
ČSAV,
1964.
- Series:
- Rozpravy Československé akademie věd. Řada SV (Řada společenských věd),
74, 13 (1964)
- Physical Description:
- 66 s.
Institution:
![](/themes/KnihovnyCz/images/institutions/logos/knav/knav_small.png?_=1700654069)
The record is not part of the view, go to main portal Knihovny.cz.
MARC
LEADER | 00000nam 2200000 a 4500 | ||
---|---|---|---|
001 | 000603214 | ||
003 | CZ PrAS | ||
005 | 20200319111419.0 | ||
008 | 970307s1964^^^^xr^^^^^^^^^^^^|||^||cze^d | ||
040 | |a ABA007 | ||
041 | 0 | |a cze | |
044 | |a xr | ||
100 | 1 | |a Mleziva, Miroslav |4 aut | |
245 | 1 | 0 | |a O trojhodnotové logice / |c Miroslav Mleziva. |
260 | |a Praha : |b ČSAV, |c 1964. | ||
300 | |a 66 s. | ||
440 | 0 | |a Rozpravy Československé akademie věd. Řada SV (Řada společenských věd), |x 0069-2298 ; |v 74, 13 (1964) | |
856 | 4 | 1 | |u https://kramerius.lib.cas.cz/uuid/uuid:8a338056-ec34-11e1-1658-001143e3f55c |y Digitální knihovna AV ČR |
990 | |a BK | ||
994 | |a ANA |b 000602127 |l KNA01 |m O trojhodnotové logice |n Rozpravy Československé akademie věd. Řada SV (Řada společenských věd) |i 13 |v 74 |y 1964 | ||
996 | 6 | |b 26006431249 |c PE 6769 |d 74 (1964) č. 13 |v 74 |i 13 |y 1964 |l Knihovna AV ČR - Jenštejn |m KNAVD |r Depozitář / do 2 prac. dnů |n 0 |w 000602127 |u 001320 |k 19500101 |e ABA007 |a 48 |s P |j KNA50 |t ABA007.KNA01000603214.KNA50000602127001320 | |
996 | 6 | |b 26006431252 |c PE 691 |d 74 (1964) č. 13 |v 74 |i 13 |y 1964 |l Knihovna AV ČR - Jenštejn |m KNAVD |r Depozitář / do 2 prac. dnů |n 0 |w 000602127 |u 004170 |k 19500101 |e ABA007 |a 48 |s P |j KNA50 |t ABA007.KNA01000603214.KNA50000602127004170 | |
910 | |a ABA007 |