Bulletin of the Section of Logic 15/2 (1986)details


Table of contents




  • 1. Iwona MAREK, Remarks on logics generated by ordered algebras44

  • 2. Andrzej WRONSKI, On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic48

  • 3. Zdzislaw DYWAN, On some method of axiomatization of some propositional calculi52

  • 4. Wojciech BUSZKOWSKI, Strong generative capacity of classical categorial grammars60

  • 5. Iwona MAREK, Adequate semantics for non-pseudoaxiomatic consequence operations66

  • 6. Ryszard LADNIAK, On the degree of maximality of definitionally complete logics72