-
On provability measures for deductive systems IIIs. 51 - 57CZYSTY TEKST
David Miller, On provability measures for deductive systems III, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 51 - 57
BIBTEX@Article{ authors = " David Miller", title = "On provability measures for deductive systems III", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "51 - 57" }
-
Dummet's LC has the interpolation propertys. 58 - 60CZYSTY TEKST
Stanisław Zachorowski, Dummet's LC has the interpolation property, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 58 - 60
BIBTEX@Article{ authors = " Stanisław Zachorowski", title = "Dummet's LC has the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "58 - 60" }
-
An inadequacy in Kripke-semantics for intuitionistic quantificational logics. 61 - 67CZYSTY TEKST
Richard Routley, An inadequacy in Kripke-semantics for intuitionistic quantificational logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 61 - 67
BIBTEX@Article{ authors = " Richard Routley", title = "An inadequacy in Kripke-semantics for intuitionistic quantificational logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "61 - 67" }
-
Resolution system for ω+-valued logics. 68 - 74CZYSTY TEKST
Ewa Orłowska, Resolution system for ω+-valued logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 68 - 74
BIBTEX@Article{ authors = " Ewa Orłowska", title = "Resolution system for ω+-valued logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "68 - 74" }
-
Dual counterparts of strongly finite consequences. 75CZYSTY TEKST
Zdzisław Dywan, Dual counterparts of strongly finite consequence, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 75
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Dual counterparts of strongly finite consequence", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "75" }
-
Boolean theories with quantifierss. 76 - 83CZYSTY TEKST
Mieczysław Omyła, Boolean theories with quantifiers, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 76 - 83
BIBTEX@Article{ authors = " Mieczysław Omyła", title = "Boolean theories with quantifiers", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "76 - 83" }
-
On some higher-order predicate calculis. 84CZYSTY TEKST
Elias H. Alves, Jose E. de Almeida Moura, On some higher-order predicate calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 84
BIBTEX@Article{ authors = " Elias H. Alves, Jose E. de Almeida Moura", title = "On some higher-order predicate calculi", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "84" }
-
Some remarks on Griss' logic of negationless intuitionistic mathematicss. 85CZYSTY TEKST
Ayda I. Arruda, Some remarks on Griss' logic of negationless intuitionistic mathematics, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 85
BIBTEX@Article{ authors = " Ayda I. Arruda", title = "Some remarks on Griss' logic of negationless intuitionistic mathematics", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "85" }
-
Bernays' class theorys. 86CZYSTY TEKST
Rolando Chuaqui, Bernays' class theory, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 86
BIBTEX@Article{ authors = " Rolando Chuaqui", title = "Bernays' class theory", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "86" }
-
Deductive systems and congruence relation in ortholatticess. 87CZYSTY TEKST
Roberto Cignoli, Deductive systems and congruence relation in ortholattices, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 87
BIBTEX@Article{ authors = " Roberto Cignoli", title = "Deductive systems and congruence relation in ortholattices", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "87" }
-
Internal models for any finite subset of the axioms of the impredicative theory of classess. 88CZYSTY TEKST
Manuel Corrada, Rolando Chuaqui, Internal models for any finite subset of the axioms of the impredicative theory of classes, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 88
BIBTEX@Article{ authors = " Manuel Corrada, Rolando Chuaqui", title = "Internal models for any finite subset of the axioms of the impredicative theory of classes", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "88" }
-
The reals in D*s. 88CZYSTY TEKST
Matias F. Dias, The reals in D*, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 88
BIBTEX@Article{ authors = " Matias F. Dias", title = "The reals in D*", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "88" }
-
An algebraic study of a propositional system of Nelsons. 89CZYSTY TEKST
Manuel M. Fidel, An algebraic study of a propositional system of Nelson, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 89
BIBTEX@Article{ authors = " Manuel M. Fidel", title = "An algebraic study of a propositional system of Nelson", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "89" }
-
Some remarks in set theorys. 90CZYSTY TEKST
Marcel Guillaume, Some remarks in set theory, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 90
BIBTEX@Article{ authors = " Marcel Guillaume", title = "Some remarks in set theory", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "90" }
-
On the problem of Jaskowski and the logics of Lukasiewiczs. 91CZYSTY TEKST
Jerzy Kotas, Newton C.A. da Costa, On the problem of Jaskowski and the logics of Lukasiewicz, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 91
BIBTEX@Article{ authors = " Jerzy Kotas, Newton C.A. da Costa", title = "On the problem of Jaskowski and the logics of Lukasiewicz", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "91" }
-
The method of valuations in modal logics. 91CZYSTY TEKST
Andrea Loparic, The method of valuations in modal logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 91
BIBTEX@Article{ authors = " Andrea Loparic", title = "The method of valuations in modal logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "91" }
-
Discussive versions of the modal calculi T, B, S4 and S5s. 92CZYSTY TEKST
Luis H.L. dos Santos, Discussive versions of the modal calculi T, B, S4 and S5, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 92
BIBTEX@Article{ authors = " Luis H.L. dos Santos", title = "Discussive versions of the modal calculi T, B, S4 and S5", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "92" }
-
Superposition of states in quantum logic from a set theoretical point of views. 92CZYSTY TEKST
Carlos Lungarzo, Superposition of states in quantum logic from a set theoretical point of view, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 92
BIBTEX@Article{ authors = " Carlos Lungarzo", title = "Superposition of states in quantum logic from a set theoretical point of view", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "92" }
-
Constructability in the impredicative theory of classess. 93CZYSTY TEKST
Maria V. Marshall, Rolando Chuaqui, Constructability in the impredicative theory of classes, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 93
BIBTEX@Article{ authors = " Maria V. Marshall, Rolando Chuaqui", title = "Constructability in the impredicative theory of classes", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "93" }
-
From total to partial algebrass. 94CZYSTY TEKST
Irene Mikenberg, From total to partial algebras, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 94
BIBTEX@Article{ authors = " Irene Mikenberg", title = "From total to partial algebras", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "94" }
-
Cylindric algebras with a property of Rasiowa and Sikorskis. 95CZYSTY TEKST
Charles C. Pinter, Cylindric algebras with a property of Rasiowa and Sikorski, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 95
BIBTEX@Article{ authors = " Charles C. Pinter", title = "Cylindric algebras with a property of Rasiowa and Sikorski", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "95" }
-
A proof-theoretic analysis of da Costa's C*s. 95CZYSTY TEKST
Andres R. Raggio, A proof-theoretic analysis of da Costa's C*, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 95
BIBTEX@Article{ authors = " Andres R. Raggio", title = "A proof-theoretic analysis of da Costa's C*", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "95" }
-
Decision problems: history and methodss. 96CZYSTY TEKST
H.P. Sankappanavar, Decision problems: history and methods, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 96
BIBTEX@Article{ authors = " H.P. Sankappanavar", title = "Decision problems: history and methods", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "96" }
-
Functorialization of first-order language with finitely many predicatess. 97 - 101CZYSTY TEKST
Antonio M. Sette, J.S. Sette, Functorialization of first-order language with finitely many predicates, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 97 - 101
BIBTEX@Article{ authors = " Antonio M. Sette, J.S. Sette", title = "Functorialization of first-order language with finitely many predicates", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "97 - 101" }
