TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2001 / Tom 30 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules

s. 181 - 189

A.N. Rutskiy

CZYSTY TEKST
A.N. Rutskiy, Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 181 - 189

BIBTEX
@Article{ authors = " A.N. Rutskiy", title = "Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "181 - 189" }
A Concise Axiomatization of RM->

s. 191 - 195

Zachary Ernst Branden Fitelson Kenneth Harris Larry Wos

CZYSTY TEKST
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos, A Concise Axiomatization of RM->, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 191 - 195

BIBTEX
@Article{ authors = " Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos", title = "A Concise Axiomatization of RM->", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "191 - 195" }
Remarks on Synthetic Tableaux for Classical Propositional Calculus

s. 195 - 205

Mariusz Urbański

CZYSTY TEKST
Mariusz Urbański, Remarks on Synthetic Tableaux for Classical Propositional Calculus, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 195 - 205

BIBTEX
@Article{ authors = " Mariusz Urbański", title = "Remarks on Synthetic Tableaux for Classical Propositional Calculus", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "195 - 205" }
Sum-representations of Finite Lattices

s. 205 - 212

Joanna Grygiel

CZYSTY TEKST
Joanna Grygiel, Sum-representations of Finite Lattices, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 205 - 212

BIBTEX
@Article{ authors = " Joanna Grygiel", title = "Sum-representations of Finite Lattices", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "205 - 212" }
A View of Logical Omniscience Problem

s. 213 - 229

Vladimir V. Rybakov

CZYSTY TEKST
Vladimir V. Rybakov, A View of Logical Omniscience Problem, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 213 - 229

BIBTEX
@Article{ authors = " Vladimir V. Rybakov", title = "A View of Logical Omniscience Problem", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "213 - 229" }