The exact correspondence between intuitionistic and modal logic (Extended abstract)

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliAmmatillinen

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äiskielienglanti
OtsikkoAdvances in Modal Logic 2024 : Short Papers
Sivumäärä6
KustantajaUniversity of Helsinki
Julkaisupäiväelok. 2024
Sivut45-50
TilaJulkaistu - elok. 2024
OKM-julkaisutyyppiD2 Artikkeli ammatillisissa käsi- tai opaskirjoissa, ammatillisissa tietojärjestelmissä tai oppikirja-aineisto

Tieteenalat

  • 611 Filosofia

Siteeraa tätä