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