Założeniowe systemy normalnych logik modalnych

  • Marcin Tkaczyk Katolicki Uniwersytet Lubelski Jana Pawła II
Słowa kluczowe: logika modalna, normalna logika modalna, dedukcja naturalna, system założeniowy

Abstrakt

Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper.

The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.

Biogram autora

Marcin Tkaczyk, Katolicki Uniwersytet Lubelski Jana Pawła II

Ks. dr Marcin Tkaczyk – Katedra Logiki na Wydziale Filozofii Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Bibliografia

Borkowski L.: O terminach modalnych, [w:] tenże, Studia logiczne. Wybór, Lublin: TN KUL 1990, s. 138-173.

Borkowski L.: O pewnym systemie logicznym opartym na regułach i jego zastosowaniu przy nauczaniu logiki matematycznej, rozdz. III: Nieklasyczne rachunki logiczne, [w:] tenże, Studia logiczne. Wybór, Lublin: TN KUL 1990, s. 174-183.

Borkowski L.: Wprowadzenie do logiki i teorii mnogości, Lublin: TN KUL 1991.

Hughes G. E., Cresswell M. J.: A New Introduction to Modal Logic, London and New York: Routledge 1996.

Opublikowane
2020-10-13
Numer
Tom 55 Nr 1 (2007)
Dział
Artykuły

Copyright (c) 2007 Roczniki Filozoficzne

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.