http://hdl.handle.net/11089/4544 2026-04-10T16:24:55Z 2026-04-10T16:24:55Z Maciaszek, Janusz http://hdl.handle.net/11089/4834 2023-05-20T08:49:15Z 2003-01-01T00:00:00Z

Indeks osób Maciaszek, Janusz

2003-01-01T00:00:00Z Maciaszek, Janusz http://hdl.handle.net/11089/4833 2023-05-20T08:48:01Z 2003-01-01T00:00:00Z

Bibliografia Maciaszek, Janusz

2003-01-01T00:00:00Z Maciaszek, Janusz http://hdl.handle.net/11089/4832 2018-02-01T11:18:56Z 2003-01-01T00:00:00Z

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 Maciaszek, Janusz http://hdl.handle.net/11089/4831 2018-02-01T11:18:56Z 2003-01-01T00:00:00Z

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