Bulletin of the Section of Logic 31/3 (2002)details


Table of contents

• 1. Roma J. ADILLON and Ventura VERDU, On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System125


• 2. Jacek MALINOWSKI, On Generalizations of Consequence Operation135


• 3. George WEAVER and Benjamin GEORGE, Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras145


• 4. Andrzej INDRZEJCZAK, Resolution Based Natural Deduction159


• 5. Eunsuk YANG, T-R, TE-R, TEc-R171