Definability of directly indecomposable congruence modular algebras Diego Vaggione OriginalPaper Pages: 239 - 241
A modern elaboration of the ramified theory of types Twan LaanRob Nederpelt OriginalPaper Pages: 243 - 278
Axiomatising first-order temporal logic: Until and since over linear time Mark Reynolds OriginalPaper Pages: 279 - 302
The finite model property for BCI and related systems Wojciech Buszkowski OriginalPaper Pages: 303 - 323
A compactness theorem for linear equations Robert CowenWilliam Emerson OriginalPaper Pages: 355 - 357
Cut-free tableau calculi for some propositional normal modal logics Martin Amerbauer OriginalPaper Pages: 359 - 372
On maximal intermediate predicate constructive logics Alessandro AvelloneCamillo FiorentiniPierangelo Miglioli OriginalPaper Pages: 373 - 408
Hyperalgebraic primitive elements for relational algebraic and topological algebraic models Matt Insall OriginalPaper Pages: 409 - 418
Bounded contraction and Gentzen-style formulation of Ćukasiewicz logics Andreja Prijatelj OriginalPaper Pages: 437 - 456