-
A criterion of functional completeness for B3s. 3 - 6CZYSTY TEKST
Victor K. Finn, A criterion of functional completeness for B3, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 3 - 6
BIBTEX@Article{ authors = " Victor K. Finn", title = "A criterion of functional completeness for B3", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "3 - 6" }
-
On certain modal systems connected with S4,3s. 8 - 11CZYSTY TEKST
Peter Geach, On certain modal systems connected with S4,3, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 8 - 11
BIBTEX@Article{ authors = " Peter Geach", title = "On certain modal systems connected with S4,3", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "8 - 11" }
-
The axiomatizations of S.Jaskowski's discussive systems. 12 - 15CZYSTY TEKST
Jerzy Kotas, The axiomatizations of S.Jaskowski's discussive system, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 12 - 15
BIBTEX@Article{ authors = " Jerzy Kotas", title = "The axiomatizations of S.Jaskowski's discussive system", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "12 - 15" }
-
A semantics for the calculus E of entailments. 18 - 20CZYSTY TEKST
Larisa Maksimowa, A semantics for the calculus E of entailment, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 18 - 20
BIBTEX@Article{ authors = " Larisa Maksimowa", title = "A semantics for the calculus E of entailment", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "18 - 20" }
-
A predicate calculus with formulas which lose sense and the corresponding propositional calculuss. 22 - 27CZYSTY TEKST
Krystyna Piróg-Rzepecka, A predicate calculus with formulas which lose sense and the corresponding propositional calculus, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 22 - 27
BIBTEX@Article{ authors = " Krystyna Piróg-Rzepecka", title = "A predicate calculus with formulas which lose sense and the corresponding propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "22 - 27" }
-
The sequent Gentzen system for m-valued logics. 30 - 35CZYSTY TEKST
Zygmunt Saloni, The sequent Gentzen system for m-valued logic, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 30 - 35
BIBTEX@Article{ authors = " Zygmunt Saloni", title = "The sequent Gentzen system for m-valued logic", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "30 - 35" }
-
An absolute first order predicte calculuss. 38 - 43CZYSTY TEKST
Vladimir A. Smirnov, An absolute first order predicte calculus, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 38 - 43
BIBTEX@Article{ authors = " Vladimir A. Smirnov", title = "An absolute first order predicte calculus", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "38 - 43" }
-
Some conections between Cn and Cn-1 and dCns. 46 - 49CZYSTY TEKST
Maciej Spasowski, Some conections between Cn and Cn-1 and dCn, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 46 - 49
BIBTEX@Article{ authors = " Maciej Spasowski", title = "Some conections between Cn and Cn-1 and dCn", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "46 - 49" }
-
On mutual non-reconstructability of the Lukasiewicz calculi and their dual counterpartss. 51 - 52CZYSTY TEKST
Marek Tokarz, On mutual non-reconstructability of the Lukasiewicz calculi and their dual counterparts, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 51 - 52
BIBTEX@Article{ authors = " Marek Tokarz", title = "On mutual non-reconstructability of the Lukasiewicz calculi and their dual counterparts", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "51 - 52" }
-
Dual counterparts of consequence operationss. 54 - 56CZYSTY TEKST
Ryszard Wójcicki, Dual counterparts of consequence operations, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 54 - 56
BIBTEX@Article{ authors = " Ryszard Wójcicki", title = "Dual counterparts of consequence operations", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "54 - 56" }
-
Remarks on intermediate logics with axioms containing only one variables. 58 - 62CZYSTY TEKST
Andrzej Wroński, Remarks on intermediate logics with axioms containing only one variable, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 58 - 62
BIBTEX@Article{ authors = " Andrzej Wroński", title = "Remarks on intermediate logics with axioms containing only one variable", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "58 - 62" }
-
On the degree of completeness of positive logics. 65 - 69CZYSTY TEKST
Andrzej Wroński, On the degree of completeness of positive logic, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 1, s. 65 - 69
BIBTEX@Article{ authors = " Andrzej Wroński", title = "On the degree of completeness of positive logic", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 1", pages = "65 - 69" }
