Decomposition Proof Systems for G[ouml ]del-Dummett Logics
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
On Different Intuitionistic Calculi and Embeddings from Int to S4
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions
Connection-Driven Inductive Theorem Proving
Information for Authors