-
J.M.Cohen's claim on categorial grammars remins unproveds. 130 - 133CZYSTY TEKST
Wojciech Zielonka, J.M.Cohen's claim on categorial grammars remins unproved, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 130 - 133
BIBTEX@Article{ authors = " Wojciech Zielonka", title = "J.M.Cohen's claim on categorial grammars remins unproved", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "130 - 133" }
-
The rule of parametric substitution in protothetics. 134 - 139CZYSTY TEKST
Janis Cirulis, The rule of parametric substitution in protothetic, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 134 - 139
BIBTEX@Article{ authors = " Janis Cirulis", title = "The rule of parametric substitution in protothetic", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "134 - 139" }
-
Higher-order sequent-system for intuitionistic modal logics. 140 - 143CZYSTY TEKST
Kosta Dosen, Higher-order sequent-system for intuitionistic modal logic, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 140 - 143
BIBTEX@Article{ authors = " Kosta Dosen", title = "Higher-order sequent-system for intuitionistic modal logic", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "140 - 143" }
-
On discussive set theorys. 144 - 149CZYSTY TEKST
Lafayette de Moraes, On discussive set theory, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 144 - 149
BIBTEX@Article{ authors = " Lafayette de Moraes", title = "On discussive set theory", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "144 - 149" }
-
Goals, results and efficiency of utterancess. 150 - 157CZYSTY TEKST
Marek Tokarz, Goals, results and efficiency of utterances, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 150 - 157
BIBTEX@Article{ authors = " Marek Tokarz", title = "Goals, results and efficiency of utterances", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "150 - 157" }
-
On the definability of join by means of polynomials in implicative algebrass. 158 - 163CZYSTY TEKST
Antoni Torrens, On the definability of join by means of polynomials in implicative algebras, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 158 - 163
BIBTEX@Article{ authors = " Antoni Torrens", title = "On the definability of join by means of polynomials in implicative algebras", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "158 - 163" }
-
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculuss. 164 - 169CZYSTY TEKST
Maciej Kandulski, Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 164 - 169
BIBTEX@Article{ authors = " Maciej Kandulski", title = "Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "164 - 169" }
