TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1992 / Tom 21 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

On the existence of very difficult satisfiability problem

s. 122 - 133

Newton C.A. da Costa F.A. Doria

CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, On the existence of very difficult satisfiability problem, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 122 - 133

BIBTEX
@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "On the existence of very difficult satisfiability problem", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "122 - 133" }
How many logically constant actions are there?

s. 134 - 139

Krister Segerberg

CZYSTY TEKST
Krister Segerberg, How many logically constant actions are there?, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 134 - 139

BIBTEX
@Article{ authors = " Krister Segerberg", title = "How many logically constant actions are there?", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "134 - 139" }
Distribution in Lukasiewicz logics

s. 140 - 146

Gordon Beavers

CZYSTY TEKST
Gordon Beavers, Distribution in Lukasiewicz logics, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 140 - 146

BIBTEX
@Article{ authors = " Gordon Beavers", title = "Distribution in Lukasiewicz logics", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "140 - 146" }
Three-element nonfinitely axiomatizable matrices

s. 147 - 151

Katarzyna Pałasińska

CZYSTY TEKST
Katarzyna Pałasińska, Three-element nonfinitely axiomatizable matrices, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 147 - 151

BIBTEX
@Article{ authors = " Katarzyna Pałasińska", title = "Three-element nonfinitely axiomatizable matrices", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "147 - 151" }
A word problem for normal and regular equations

s. 152 - 155

Ewa Graczyńska

CZYSTY TEKST
Ewa Graczyńska, A word problem for normal and regular equations, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 152 - 155

BIBTEX
@Article{ authors = " Ewa Graczyńska", title = "A word problem for normal and regular equations", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "152 - 155" }
Matrix-frame semantics for ISCI and INT

s. 156 - 162

Piotr Łukowski

CZYSTY TEKST
Piotr Łukowski, Matrix-frame semantics for ISCI and INT, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 156 - 162

BIBTEX
@Article{ authors = " Piotr Łukowski", title = "Matrix-frame semantics for ISCI and INT", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "156 - 162" }
A note on unary rules and a complete syntactic characterisation of propositional calculi

s. 163 - 167

R. Zuber

CZYSTY TEKST
R. Zuber, A note on unary rules and a complete syntactic characterisation of propositional calculi, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 163 - 167

BIBTEX
@Article{ authors = " R. Zuber", title = "A note on unary rules and a complete syntactic characterisation of propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "163 - 167" }
On determinism - still unproved in classical logic

s. 168

Max Peter Urchs

CZYSTY TEKST
Max Peter Urchs, On determinism - still unproved in classical logic, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 168

BIBTEX
@Article{ authors = " Max Peter Urchs", title = "On determinism - still unproved in classical logic", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "168" }