-
Remarks on a class of almost disjoint familiess. 1 - 13CZYSTY TEKST
Yi Zhang, Remarks on a class of almost disjoint families, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 1 - 13
BIBTEX@Article{ authors = " Yi Zhang", title = "Remarks on a class of almost disjoint families", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 1", pages = "1 - 13" }
-
Relationships between basic propositional calculus and substructural logicss. 15 - 20CZYSTY TEKST
Kentaro Kikuchi, Relationships between basic propositional calculus and substructural logics, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 15 - 20
BIBTEX@Article{ authors = " Kentaro Kikuchi", title = "Relationships between basic propositional calculus and substructural logics", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 1", pages = "15 - 20" }
-
Ideal theories of the ring of polynomials over the integress. 21 - 31CZYSTY TEKST
Luis F. Caceres-Duque, Ideal theories of the ring of polynomials over the integres, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 21 - 31
BIBTEX@Article{ authors = " Luis F. Caceres-Duque", title = "Ideal theories of the ring of polynomials over the integres", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 1", pages = "21 - 31" }
-
Propositional dynamic logic has interpolations. 33 - 39CZYSTY TEKST
Tomasz Kowalski, Propositional dynamic logic has interpolation, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 33 - 39
BIBTEX@Article{ authors = " Tomasz Kowalski", title = "Propositional dynamic logic has interpolation", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 1", pages = "33 - 39" }
-
Negated defaults in commonsense entailments. 41 - 60CZYSTY TEKST
Nicholas Asher, Yi Mao, Negated defaults in commonsense entailment, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 41 - 60
BIBTEX@Article{ authors = " Nicholas Asher, Yi Mao", title = "Negated defaults in commonsense entailment", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 1", pages = "41 - 60" }