Number of the records: 1
Neklasické logiky
Mleziva, Miroslav, 1929-1990 - Author
Vyd. 1. - Praha : Svoboda, 1970 - 226 s.
ISBN (Brož.)
výroková logika logické systémy
monografieCall number C 75.002 Umístění Info RETRO-CATALOGUING - SHORT RECORD Title statement Neklasické logiky / Miroslav Mleziva Main entry-name Mleziva, Miroslav, 1929-1990 (Author) Edition statement Vyd. 1. Issue data Praha : Svoboda, 1970 Phys.des. 226 s. ISBN (Brož.) National bibl. num. cnb000125928 Internal Bibliographies/Indexes Note Obsahuje bibliografii Subj. Headings výroková logika * logické systémy Form, Genre monografie Conspect 16 - Logika UDC 004.312 , 164.1 , 510.633 , (048.8) Country Česko Language čeština Document kind BOOKS Ucelený, souhrnný a soustavný výklad neklasických logik (intuicionistické, modálních, logik striktní implikace a více hodnotových) se pohybuje na jisté elementární úrovni a je orientován hlavně k problémům výrokové logiky, v jejíž sféře se právě vyznačené logické systémy navzájem liší. Autor je podrobuje kritickému hodnocení z hlediska kritéria logičnosti soustav a vyjasňuje vzájemné vztahy mezi nimi a klasickou logikou. Celá práce je cenným přínosem pro podrobnější poznání situace v moderní logice. Zdroj anotace: Národní knihovna ČRLoading…
Number of the records: 1