-
Equational reasoning in non-classical logicss. 2 - 11CZYSTY TEKST
Marcelo F. Frias, Ewa Orłowska, Equational reasoning in non-classical logics, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 2 - 11
BIBTEX@Article{ authors = " Marcelo F. Frias, Ewa Orłowska", title = "Equational reasoning in non-classical logics", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "2 - 11" }
-
Representation theorems for hypergraph satisfiabilitys. 12 - 19CZYSTY TEKST
Adam Kolany, Representation theorems for hypergraph satisfiability, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 12 - 19
BIBTEX@Article{ authors = " Adam Kolany", title = "Representation theorems for hypergraph satisfiability", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "12 - 19" }
-
Is fork set-theoretical?s. 20 - 30CZYSTY TEKST
Paulo A.S. Veloso, Is fork set-theoretical?, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 20 - 30
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "Is fork set-theoretical?", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "20 - 30" }
-
Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functionss. 31 - 38CZYSTY TEKST
Mauricio Pablo Marlangeon, Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functions, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 31 - 38
BIBTEX@Article{ authors = " Mauricio Pablo Marlangeon", title = "Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functions", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "31 - 38" }
-
A class of modal logics with a finite model property with respect to the set of M-formulaes. 39 - 49CZYSTY TEKST
Stephane Demri, Ewa Orłowska, A class of modal logics with a finite model property with respect to the set of M-formulae, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 39 - 49
BIBTEX@Article{ authors = " Stephane Demri, Ewa Orłowska", title = "A class of modal logics with a finite model property with respect to the set of M-formulae", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "39 - 49" }
-
On negatively restricting Boolean algebrass. 50 - 54CZYSTY TEKST
R. Zuber, On negatively restricting Boolean algebras, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 50 - 54
BIBTEX@Article{ authors = " R. Zuber", title = "On negatively restricting Boolean algebras", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "50 - 54" }
