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