Hjem > Apps > Uddannelse
Natural Deduction using Strict Implication

Natural Deduction using Strict Implication

Publiceret af: Jukka Häkkinen
Kørekort: Gratis

Skærmbilleder:

Minimum
Operativsystem
Arkitekturx86,x64,ARM,ARM64
Anbefalet
Operativsystem
Arkitekturx86,x64,ARM,ARM64

Beskrivelse

Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication.


Personer synes også om

anmeldelser

Artikel

om Natural Deduction using Strict Implication
We use cookies and other technologies on this website to enhance your user experience.
By clicking any link on this page you are giving your consent to our Privacy Policy and Cookies Policy.