Wyniki
-
Matrix representations for structural strengthenings of a propositional logic
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 72-78 -
Strongly finie logics: Finite axiomatizability and the problem of supremum
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 99-111 -
A new proof of structural completeness of Lukasiewicz's logic
piotr Wojtylak
Bulletin of the Section of Logic , 5 /4 (1976) s. 145-150 -
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus
Piotr Wojtylak
Bulletin of the Section of Logic , 5 /4 (1976) s. 153-156 -
A syntactical characterization of structural completeness for implicational logics
Piotr Wojtylak
Bulletin of the Section of Logic , 19 /1 (1990) s. 2-9 -
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