Wyniki
-
A three element matrix whose consequence operation is not finitely based
Andrzej Wroński
Bulletin of the Section of Logic , 8 /2 (1979) s. 68-70 -
On reducts of intermediate logics
Andrzej Wroński
Bulletin of the Section of Logic , 9 /4 (1980) s. 176-179 -
Splittings of lattices of quasivarieties
Andrzej Wroński
Bulletin of the Section of Logic , 10 /3 (1981) s. 128-129 -
Quasivarieties of Heyting algebras
Andrzej Wroński
Bulletin of the Section of Logic , 10 /3 (1981) s. 130-134 -
Remarks on intermediate logics with axioms containing only one variable
Andrzej Wroński
Bulletin of the Section of Logic , 2 /1 (1973) s. 58-62 -
On the degree of completeness of positive logic
Andrzej Wroński
Bulletin of the Section of Logic , 2 /1 (1973) s. 65-69 -
The degree of completeness of some fragments of the intuitionistic propositional logic
Andrzej Wroński
Bulletin of the Section of Logic , 2 /2 (1973) s. 149-153 -
On cardinality of matrices strongly adequate for the intuitionistic propositional logic
Andrzej Wroński
Bulletin of the Section of Logic , 3 /1 (1974) s. 34-38 -
On equivalential fragments of some intermediate logics
Andrzej Wroński
Bulletin of the Section of Logic , 3 /2 (1974) s. 11-13 -
On finitely based consequence operations
Andrzej Wroński
Bulletin of the Section of Logic , 5 /3 (1976) s. 106-111 -
The number of quasivarietes of distributive lattices with pseudocomplementation
Andrzej Wroński
Bulletin of the Section of Logic , 5 /3 (1976) s. 115-119 -
Remarks on Hallden completeness of modal and intermediate logics
Andrzej Wroński
Bulletin of the Section of Logic , 5 /4 (1976) s. 126-128 -
The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras
Andrzej Wroński
Bulletin of the Section of Logic , 5 /4 (1976) s. 130-131 -
On the depth of a consequence operation
Andrzej Wroński
Bulletin of the Section of Logic , 6 /3 (1977) s. 96-101 -
A method of axiomatizing an intersection of propositional logics
Andrzej Wroński
Bulletin of the Section of Logic , 6 /4 (1977) s. 177-181 -
On the free equivalential algebra with three generators
Andrzej Wroński
Bulletin of the Section of Logic , 22 /1 (1993) s. 37-39 -
An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics
Andrzej Wroński
Bulletin of the Section of Logic , 1 /1 (1972) s. 2-3 -
On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics
Andrzej Wroński
Bulletin of the Section of Logic , 1 /1 (1972) s. 38-44 -
Remarks on Algebraic Semantics for Modal Systems S0,9, S1 and S2
Andrzej Wroński
Bulletin of the Section of Logic , 1 /2 (1972) s. 20-24