D. Gabbay, Semantical Ivestigations in Heyting's Intuitionistic Logic, Synthese Library, Reidel, Dordrecht 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
....j= This implies x 6j= 2A. THEOREM 5 (Disjunction Property) For all I I A B iff either I A or I B, where is K, D, T, KB, KDB, B, K4, KD4, S4, KB4, K5, K45 and S5. Proof. Part A) is D, T, KDB, B, KD4, S4 and S5. We use the variant of Kleene s slash introduced in [1] also see [17]) jp , I p jA B , jA and jB jA B , k A or k B j:A , not k A jA oe B , k A implies jB j2A , k A j3A , k A and where k A means both I A and jA. We prove by induction on the length of derivation that I A implies jA. The thesis then follows from the fact that if I A B then ....
D. Gabbay, Semantical Ivestigations in Heyting's Intuitionistic Logic, Synthese Library, Reidel, Dordrecht 1981.
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
No context found.
D. Gabbay, Semantical Ivestigations in Heyting's Intuitionistic Logic, Synthese Library, Reidel, Dordrecht 1981.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC