-
Dual consequence operations associated with a certain class of logical matricess. 143 - 150CZYSTY TEKST
Anetta Górnicka, Dual consequence operations associated with a certain class of logical matrices, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 143 - 150
BIBTEX@Article{ authors = " Anetta Górnicka", title = "Dual consequence operations associated with a certain class of logical matrices", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "143 - 150" }
-
Faces of monotonicity and wisdom formulas problems. 181 - 192CZYSTY TEKST
Vladimir V. Rybakov, B. Fedorishin, Faces of monotonicity and wisdom formulas problem, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 181 - 192
BIBTEX@Article{ authors = " Vladimir V. Rybakov, B. Fedorishin", title = "Faces of monotonicity and wisdom formulas problem", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "181 - 192" }
-
Completeness of an action logic for timed transition Systemss. 151 - 159CZYSTY TEKST
Fernando Naufel do Amaral, Edward Hermann Haeusler, Completeness of an action logic for timed transition Systems, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 151 - 159
BIBTEX@Article{ authors = " Fernando Naufel do Amaral, Edward Hermann Haeusler", title = "Completeness of an action logic for timed transition Systems", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "151 - 159" }
-
On a relationship between some classes of elimination operators and some classess. 161 - 170CZYSTY TEKST
Grzegorz Bryll, Robert Sochacki, On a relationship between some classes of elimination operators and some classes, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 161 - 170
BIBTEX@Article{ authors = " Grzegorz Bryll, Robert Sochacki", title = "On a relationship between some classes of elimination operators and some classes", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "161 - 170" }
-
Multidimensional algebra on the generalized sequencess. 171 - 179CZYSTY TEKST
Andrei Kouznetsov, Multidimensional algebra on the generalized sequences, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 171 - 179
BIBTEX@Article{ authors = " Andrei Kouznetsov", title = "Multidimensional algebra on the generalized sequences", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "171 - 179" }