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