Bulletin of the Section of Logic 29/4 (2000)details


Table of contents




  • 1. Anetta GORNICKA, Dual consequence operations associated with a certain class of logical matrices143

  • 2. Fernando Naufel do AMARAL and Edward Hermann HAEUSLER, Completeness of an action logic for timed transition Systems151

  • 3. Grzegorz BRYLL and Robert SOCHACKI, On a relationship between some classes of elimination operators and some classes161

  • 4. Andrei KOUZNETSOV, Multidimensional algebra on the generalized sequences171

  • 5. Vladimir V.RYBAKOV and B.FEDORISHIN, Faces of monotonicity and wisdom formulas problem181