TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2005 / Tom 34 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Hennessy-Milner Theorem for Interpretability Logic

s. 195 - 201

Mladen Vukovic

CZYSTY TEKST
Mladen Vukovic, Hennessy-Milner Theorem for Interpretability Logic, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 195 - 201

BIBTEX
@Article{ authors = " Mladen Vukovic", title = "Hennessy-Milner Theorem for Interpretability Logic", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "195 - 201" }
On the Injectivity of the Leibniz Operator

s. 203 - 211

L. Descalco Manuel A. Martins

CZYSTY TEKST
L. Descalco, Manuel A. Martins, On the Injectivity of the Leibniz Operator, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 203 - 211

BIBTEX
@Article{ authors = " L. Descalco, Manuel A. Martins", title = "On the Injectivity of the Leibniz Operator", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "203 - 211" }
A Cut-free System for 16-Valued Reasoning

s. 213 - 225

Norihiro Kamide

CZYSTY TEKST
Norihiro Kamide, A Cut-free System for 16-Valued Reasoning, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 213 - 225

BIBTEX
@Article{ authors = " Norihiro Kamide", title = "A Cut-free System for 16-Valued Reasoning", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "213 - 225" }
On a Minimality Condition

s. 227 - 228

Bogusław Wolniewicz

CZYSTY TEKST
Bogusław Wolniewicz, On a Minimality Condition, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 227 - 228

BIBTEX
@Article{ authors = " Bogusław Wolniewicz", title = "On a Minimality Condition", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "227 - 228" }
Syntactical and Semantical Characterization of a Class of Paraconsistent Logics

s. 229 - 248

Krystyna Mruczek-Nasieniewska Marek Nasieniewski

CZYSTY TEKST
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Syntactical and Semantical Characterization of a Class of Paraconsistent Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 229 - 248

BIBTEX
@Article{ authors = " Krystyna Mruczek-Nasieniewska, Marek Nasieniewski", title = "Syntactical and Semantical Characterization of a Class of Paraconsistent Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "229 - 248" }