Wyniki
-
The existence of matrices strongly adequate for E, R and their fragments
Marek Tokarz
Bulletin of the Section of Logic , 7 /3 (1978) s. 121-128 -
Some remarks on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 9 /2 (1980) s. 85-87 -
On ideals in directed commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /3 (1980) s. 145-151 -
An example of the commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /4 (1980) s. 163-165 -
Ideals in BCK-algebras which are lower semilattices
Marek Pałasiński
Bulletin of the Section of Logic , 10 /1 (1981) s. 48-55 -
On a problem on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 10 /2 (1981) s. 93-99 -
Varieties of commutative BCK-algebras not generated by their finite members
Marek Pałasiński
Bulletin of the Section of Logic , 12 /3 (1983) s. 134-135 -
On BCK-algebras with the operation (S)
Marek Pałasiński
Bulletin of the Section of Logic , 13 /1 (1984) s. 13-17 -
Towards a formal semiotics
Marek Tokarz
Bulletin of the Section of Logic , 13 /2 (1984) s. 44-49 -
Goals, results and efficiency of utterances
Marek Tokarz
Bulletin of the Section of Logic , 14 /4 (1985) s. 150-157 -
Remarks on logics generated by ordered algebras
Iwona Marek
Bulletin of the Section of Logic , 15 /2 (1986) s. 44-47 -
Adequate semantics for non-pseudoaxiomatic consequence operations
Iwona Marek
Bulletin of the Section of Logic , 15 /2 (1986) s. 66-71 -
Binary functions definable in implicational Goedel algebras
Marek Tokarz
Bulletin of the Section of Logic , 3 /1 (1974) s. 22-24 -
A method of axiomatization of Luaksiewicz logics
Marek Tokarz
Bulletin of the Section of Logic , 3 /2 (1974) s. 21-23 -
Functions definable in some fragments of Sugihara algebras
Marek Tokarz
Bulletin of the Section of Logic , 4 /1 (1975) s. 15-17 -
Definability criterion for functions in Sugihara algebras
Marek Tokarz
Bulletin of the Section of Logic , 4 /4 (1975) s. 134-135 -
A strongly finite logic with infinite degree of maximality
Marek Tokarz
Bulletin of the Section of Logic , 5 /2 (1976) s. 50-52 -
Definitions by context in propositional logic
Marek Tokarz
Bulletin of the Section of Logic , 5 /2 (1976) s. 54-56 -
Deduction theorems for RM and its extensions
Marek Tokarz
Bulletin of the Section of Logic , 6 /2 (1977) s. 67-69