The lattice of distributive closure operators over an algebra Josep M. FontVentura Verdú OriginalPaper Pages: 1 - 13
A study of intermediate propositional logics on the third slice Tsutomu HosoiIsao Masuda OriginalPaper Pages: 15 - 21
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas Tatsuya Shimura OriginalPaper Pages: 23 - 40
The simple substitution property of the intermediate propositional logics on finite slices Katsumi Sasaki OriginalPaper Pages: 41 - 62
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics Nobu-Yuki Suzuki OriginalPaper Pages: 73 - 94
A consistent theory of attributes in a logic without contraction Richard B. White OriginalPaper Pages: 113 - 142
The completeness of the factor semantics for Łukasiewicz's infinite-valued logics Vladimir L. Vasyukov OriginalPaper Pages: 143 - 167
Algebraic logic for classical conjunction and disjunction J. M. FontV. Verdú Erratum Pages: 181 - 181