Andrzej Wroński
32 articles in 6 journals
ARTICLE TITLE
YEAR
ACTIONS
-
An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics Published in: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 1 / p. 2 - 3YEAR: 1972Plain TextBIBTEX
-
On Jaskowski-type semantics for the intuitionistic propositional logic Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 2 / p. 6 - 9YEAR: 1974Plain TextBIBTEX
-
On equivalential fragments of some intermediate logics Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 2 / p. 11 - 13YEAR: 1974Plain TextBIBTEX
-
On the construction of matrices strongly adequate for pre-finite logics Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 2 / p. 15 - 17YEAR: 1974Plain TextBIBTEX
-
A characterization of the intuitionistic propositional logic Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 2 / p. 19 - 20YEAR: 1974Plain TextBIBTEX
-
Remarks on Algebraic Semantics for Modal Systems S0,9, S1 and S2 Published in: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 2 / p. 20 - 24YEAR: 1972Plain TextBIBTEX
-
An algebraic characterization of the notion of structural completeness Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 1 / p. 30 - 32YEAR: 1974Plain TextBIBTEX
-
Z dziejów portu w Świnoujściu w latach 1945-1947 Published in: Przegląd Zachodniopomorski 1965 / Tom 9 / Numer 1-2 / p. 33 - 36YEAR: 1965Plain TextBIBTEX
-
On cardinality of matrices strongly adequate for the intuitionistic propositional logic Published in: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 1 / p. 34 - 38YEAR: 1974Plain TextBIBTEX
-
On the free equivalential algebra with three generators Published in: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 1 / p. 37 - 39YEAR: 1993Plain TextBIBTEX
-
On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics Published in: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 1 / p. 38 - 44YEAR: 1972Plain TextBIBTEX
-
Major Bazyli Chrościechowski : zagadkowy emisariusz powstania listopadowego Published in: Przegląd Humanistyczny 1988 / Tom 32 / Numer 8/9 (275/276) / p. 45 - 53YEAR: 1988Plain TextBIBTEX
-
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic Published in: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 2 / p. 48 - 51YEAR: 1986Plain TextBIBTEX
-
Remarks on intermediate logics with axioms containing only one variable Published in: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 1 / p. 58 - 62YEAR: 1973Plain TextBIBTEX
-
On the degree of completeness of positive logic Published in: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 1 / p. 65 - 69YEAR: 1973Plain TextBIBTEX
-
A three element matrix whose consequence operation is not finitely based Published in: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / p. 68 - 70YEAR: 1979Plain TextBIBTEX
-
On the depth of a consequence operation Published in: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 3 / p. 96 - 101YEAR: 1977Plain TextBIBTEX
-
On finitely based consequence operations Published in: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 3 / p. 106 - 111YEAR: 1976Plain TextBIBTEX
-
The number of quasivarietes of distributive lattices with pseudocomplementation Published in: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 3 / p. 115 - 119YEAR: 1976Plain TextBIBTEX
-
Remarks on Hallden completeness of modal and intermediate logics Published in: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / p. 126 - 128YEAR: 1976Plain TextBIBTEX
-
Splittings of lattices of quasivarieties Published in: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / p. 128 - 129YEAR: 1981Plain TextBIBTEX
-
The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras Published in: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / p. 130 - 131YEAR: 1976Plain TextBIBTEX
-
Quasivarieties of Heyting algebras Published in: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / p. 130 - 134YEAR: 1981Plain TextBIBTEX
-
On normal Agassiz systems of algebras Published in: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 4 / p. 143 - 147YEAR: 1975Plain TextBIBTEX
-
Kresy południowo-wschodnie w ogniu, 1831 rok Published in: Zeszyty Naukowe KUL 1994 / Tom 37 / Numer 1-2 / p. 147 - 149YEAR: 1994Plain TextBIBTEX
-
The degree of completeness of some fragments of the intuitionistic propositional logic Published in: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 2 / p. 149 - 153YEAR: 1973Plain TextBIBTEX
-
On weak Agassiz systems of algebras Published in: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 4 / p. 150 - 152YEAR: 1975Plain TextBIBTEX
-
On {<->,~}-reduct of the intuitionistic consequence operation Published in: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / p. 161 - 169YEAR: 1979Plain TextBIBTEX
-
On reducts of intermediate logics Published in: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / p. 176 - 179YEAR: 1980Plain TextBIBTEX
-
A method of axiomatizing an intersection of propositional logics Published in: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 4 / p. 177 - 181YEAR: 1977Plain TextBIBTEX
-
Profesor Jerzy Skowronek (1937-1996) Published in: Barok : historia, literatura, sztuka 1996 / Tom 3 / Numer 2 (6) / p. 323 - 324YEAR: 1996Plain TextBIBTEX
-
Powstanie listopadowe na Wołyniu, Podolu i Ukrainie Published in: Przegląd Historyczny 1987 / Tom 78 / Numer 4 / p. 629 - 654YEAR: 1987Plain TextBIBTEX
