-
[文献書誌] 廣川 佐千男: "A lambda proof of the P-W problem"Journal of Symbolic Logic. (発表予定).
-
[文献書誌] 金子 守: "Common Knowledge logic and game logic"Journal of Symbolic Logic. 64・2. 685-700 (1999)
-
[文献書誌] 鈴木 信行: "Algebraic Kripke sheaf semantics for non-classical predicate logics"Studia Logica. 63・3. 387-416 (1999)
-
[文献書誌] 志村 立矢: "Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula"Studia Logic. (発表予定).
-
[文献書誌] 高野 道夫: "Subformula property for an intuitionistic modal logic"Mathematica Japonica. 49・3. 427-432 (1999)
-
[文献書誌] 鹿島 亮: "Substructural implicational logics including the relevant logic E"Studia Logica. 63. 181-212 (1999)
-
[文献書誌] 草刈 圭一朗: "Argument filtering transformation"Lecture Notes in Computer Science. 1702. 47-61 (1999)
-
[文献書誌] Tamasz Kowalski: "The variety of residuated lattices is generated by its finite simple members"Reports on Mathematical Logic. (発表予定).
-
[文献書誌] 小野 寛晰: "Some observations on noncommutative substructural logics"Logic and Foundations of Mathematics. 187-194 (1999)
-
[文献書誌] 小野 寛晰: "Algebraic semantics for predicate logics and their completeness"Logic at Work. 637-650 (1999)