1.  40
    Remarks on discussive propositional calculus.Tomasz Furmanowski - 1975 - Studia Logica 34 (1):39 - 43.
  2.  19
    On complete bundles of locally valid identities.Tomasz Furmanowski - 1984 - Bulletin of the Section of Logic 13 (4):202-205.
    Some simple algebraic properties, described by universally quantified disjunctions of special identities, are established. Such sentences seem to be useful for an investigation on finite algebras and its products. These considerations are exemplified by results concerning distributive lattices. By P the polynomial algebra of a finite type t is understood. P is the n-ary polynomial algebra . No notational distinction is made between an algebra and its underlying set. Similarly by the same symbol is denoted each polynomial and its realization (...)
    Direct download  
    Export citation  
  3.  26
    The logic of algebraic rules as a generalization of equational logic.Tomasz Furmanowski - 1983 - Studia Logica 42 (2-3):251 - 257.
    In this paper we start an investigation of a logic called the logic of algebraic rules. The relation of derivability of this logic is defined on universal closures of special disjunctions of equations extending the relation of derivability of the usual equational logic. The paper contains some simple theorems and examples given in justification for the introduction of our logic. A number of open questions is posed.
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation