Abstrakti
A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4. For the converse translation, the modal operators and their rules are simply deleted, to obtain a derivation of A in intuitionistic logic.
Alkuperäiskieli | englanti |
---|---|
Otsikko | Advances in Modal Logic 2024 : Short Papers |
Sivumäärä | 6 |
Kustantaja | University of Helsinki |
Julkaisupäivä | elok. 2024 |
Sivut | 45-50 |
Tila | Julkaistu - elok. 2024 |
OKM-julkaisutyyppi | D2 Artikkeli ammatillisissa käsi- tai opaskirjoissa, ammatillisissa tietojärjestelmissä tai oppikirja-aineisto |
Tieteenalat
- 611 Filosofia