The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations Heinrich Wansing OriginalPaper Pages: 3 - 20
On Categorical Equivalences of Commutative BCK-algebras Anatolij Dvurečenskij OriginalPaper Pages: 21 - 36
Extending Standard Models of ZFC to Models of Nonstandard Set Theories Vladimir KanoveiMichael Reeken OriginalPaper Pages: 37 - 59
Completeness Theorems via the Double Dual Functor Adriana GalliMarta SagastumeGonzalo E. Reyes OriginalPaper Pages: 61 - 81
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I Viorica Sofronie-Stokkermans OriginalPaper Pages: 93 - 132