http://hdl.handle.net/11089/4544 2026-04-10T16:25:55Z http://hdl.handle.net/11089/4834 Indeks osób Maciaszek, Janusz 2003-01-01T00:00:00Z http://hdl.handle.net/11089/4833 Bibliografia Maciaszek, Janusz 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] 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] 2003-01-01T00:00:00Z