Studia Logica

New Intuitionistic Logical Constants and Novikov Completeness
pp. 151-180(30)
Author: Yashin, Alexander

Substructural Implicational Logics Including the Relevant Logic E
pp. 181-212(32)
Authors: Kashima, Ryo; Kamide, Norihiro

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction
pp. 213-222(10)
Authors: van Alten, C.; Raftery, J.

Definability of Leibniz Equality
pp. 223-243(21)
Authors: Elgueta, R.; Jansana, R.

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel
pp. 245-268(24)
Author: Gentilini, Paolo

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
pp. 269-300(32)