New Intuitionistic Logical Constants and Novikov Completeness Alexander Yashin OriginalPaper Pages: 151 - 180
Substructural Implicational Logics Including the Relevant Logic E Ryo KashimaNorihiro Kamide OriginalPaper Pages: 181 - 212
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction C. J. van AltenJ. G. Raftery OriginalPaper Pages: 213 - 222
Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel Paolo Gentilini OriginalPaper Pages: 245 - 268
L. T. F. Gamut, Logic, Language, and Information, Volume 1: Introduction to Logic; L. T. F. Gamut, Logic, Language, and Information, Volume 2: Intensional Logic and Logical Grammar OriginalPaper Pages: 269 - 300