Results 131 to 140 of about 722,619 (215)

Intuitionistic logic in intuitionistic metamathematics

open access: yes, 1976
Contains fulltext : mmubn000001_194061965.pdf (Publisher’s version ) (Open Access)
openaire   +1 more source

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

open access: yes
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.
von Plato, Jan
core  

Home - About - Disclaimer - Privacy