On superintuitionistic logics as fragments of proof logic extensions
暂无分享,去创建一个
[1] A. V. Bessonov. New operations in intuitionistic calculus , 1977 .
[2] A. Kolmogoroff. Zur Deutung der intuitionistischen Logik , 1932 .
[3] George Boolos,et al. Provability in arithmetic and a schema of Grzegorczyk , 1980 .
[4] Toshio Umezawa,et al. On intermediate propositional logics , 1959, Journal of Symbolic Logic.
[5] T. Hosoi. On intermediate logics, II , 1967 .
[6] Alfred Tarski,et al. Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.
[7] George F. Schumm. Solutions to four modal problems of Sobociński , 1971, Notre Dame J. Formal Log..
[8] Michael Dummett,et al. Modal Logics Between S4 and S5 , 1967 .
[9] Andrzej Grzegorczyk. Some relational systems and the associated topological spaces , 1967 .
[10] E. Lemmon,et al. Modal Logics Between S 4 and S 5 , 1959 .
[11] Toshio Umezawa. Über die Zwischensysteme der Aussagenlogik , 1955 .
[12] Glaudio Bernardi. On the equational class of diagonalizable algebras , 1975 .
[13] Shûrô Nagata,et al. A Series of Successive Modifications of Peirce's Rule , 1966 .
[14] Michael Dummett,et al. A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).
[15] W. J. Blok,et al. Pretabular varieties of modal algebras , 1980 .
[16] Boleslaw Sobocinski,et al. Certain extensions of modal system S4 , 1970, Notre Dame J. Formal Log..
[17] S K Sobolev. On Finite Approximability of Superintuitionistic Logics , 1977 .
[18] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .
[19] H. Ono. Kripke Models and Intermediate Logics , 1970 .
[20] A. Tarski. Der Aussagenkalkül und die Topologie , 1938 .
[21] H. Ono,et al. The intermediate logics on the second slice , 1970 .
[22] R. Solovay. Provability interpretations of modal logic , 1976 .
[23] G. F. Rose. Propositional calculus and realizability , 1953 .
[24] Saul A. Kripke,et al. Semantical Analysis of Intuitionistic Logic I , 1965 .