TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2015 / Tom 44 / Numer 3-4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Simple Logics for Basic Algebras

s. 95 - 110

Janis Cirulis

CZYSTY TEKST
Janis Cirulis, Simple Logics for Basic Algebras, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 95 - 110

BIBTEX
@Article{ authors = " Janis Cirulis", title = "Simple Logics for Basic Algebras", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "95 - 110" }
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames

s. 111 - 130

Zofia Kostrzycka

CZYSTY TEKST
Zofia Kostrzycka, On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 111 - 130

BIBTEX
@Article{ authors = " Zofia Kostrzycka", title = "On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "111 - 130" }
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

s. 131 - 148

Feng Gao George Tourlakis

CZYSTY TEKST
Feng Gao, George Tourlakis, A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 131 - 148

BIBTEX
@Article{ authors = " Feng Gao, George Tourlakis", title = "A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "131 - 148" }
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics

s. 149 - 154

Alexej P. Pynko

CZYSTY TEKST
Alexej P. Pynko, Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 149 - 154

BIBTEX
@Article{ authors = " Alexej P. Pynko", title = "Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "149 - 154" }
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras

s. 155 - 181

A.V. Figallo G. Pelaitay

CZYSTY TEKST
A.V. Figallo, G. Pelaitay, Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 155 - 181

BIBTEX
@Article{ authors = " A.V. Figallo, G. Pelaitay", title = "Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "155 - 181" }