Semantical analysis of Arruda da CostaP systems and adjacent non-replacement relevant systems Richard RoutleyAndréa Loparić Articles Pages: 301 - 320
A semantic characterization of terms free for some variable in a formula V. G. Kirin Articles Pages: 337 - 340
The inconsistency of Bernini's very strong intuitionistic theory Norbert Wendel Articles Pages: 341 - 347
Compactness theorems for finitely-many-valued sentenial logics George Weaver Articles Pages: 413 - 416