http://hdl.handle.net/11089/4544 Sat, 04 Apr 2026 08:32:50 GMT 2026-04-04T08:32:50Z https://dspace.uni.lodz.pl:443/bitstream/id/d8d88aff-f000-4c43-b845-1fb1370b1f39/ http://hdl.handle.net/11089/4544 http://hdl.handle.net/11089/4834 Indeks osób Maciaszek, Janusz Wed, 01 Jan 2003 00:00:00 GMT http://hdl.handle.net/11089/4834 2003-01-01T00:00:00Z http://hdl.handle.net/11089/4833 Bibliografia Maciaszek, Janusz Wed, 01 Jan 2003 00:00:00 GMT http://hdl.handle.net/11089/4833 2003-01-01T00:00:00Z http://hdl.handle.net/11089/4832 Lokalne i globalne kryteria logiczności Maciaszek, Janusz Rozdział szósty podsumowuje całą pracę. Staram się w nim sprecyzować znaczenie terminu "kryterium logiczności" i pokazać jaką budowę powinny mieć takie kryteria. Analizując trzy spośród sformułowanych w poprzednich rozdziałach kryteriów logiczności, podejmuję dyskusję na temat zakresu ich stosowania. Na zakończenie szkicuję sposób konstruowania złożonych kryteriów logiczności i pokazuję, że zaproponowane przeze mnie kryterium jest spełnione przez logikę klasyczną i przez intuicjonistyczny rachunek predykatów. [ZE WSTĘPU AUTORA] Wed, 01 Jan 2003 00:00:00 GMT http://hdl.handle.net/11089/4832 2003-01-01T00:00:00Z http://hdl.handle.net/11089/4831 Teoriodowodowe kryteria logiczności Maciaszek, Janusz W rozdziale piątym analizuję teoriodowodowe kryteria logiczności dla rachunku sekwentów. [ZE WSTĘPU AUTORA] Wed, 01 Jan 2003 00:00:00 GMT http://hdl.handle.net/11089/4831 2003-01-01T00:00:00Z