logica intuiționistă

Semantica Kripke pentru logica intuiționistă urmează aceleași principii ca și semantica logicii modale, dar folosește o altă definiție a satisfacției. Un model Kripke intuitionist este un triple ⟨W, ≤, ⊩⟩, unde ⟨W, ≤⟩ este un cadru Kripke parțial ordonat și … Citeşte mai mult