TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2007 / Tom 36 / Numer 1-2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz

s. 1 - 6

Robert Sochacki

CZYSTY TEKST
Robert Sochacki, Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 1 - 6

BIBTEX
@Article{ authors = " Robert Sochacki", title = "Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "1 - 6" }
That p + q = c(onsequence)

s. 7 - 19

Grzegorz Malinowski

CZYSTY TEKST
Grzegorz Malinowski, That p + q = c(onsequence), Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 7 - 19

BIBTEX
@Article{ authors = " Grzegorz Malinowski", title = "That p + q = c(onsequence)", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "7 - 19" }
A Non-finitizability Result in Algebraic Logic

s. 21 - 27

Tarek Sayed Ahmed

CZYSTY TEKST
Tarek Sayed Ahmed, A Non-finitizability Result in Algebraic Logic, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 21 - 27

BIBTEX
@Article{ authors = " Tarek Sayed Ahmed", title = "A Non-finitizability Result in Algebraic Logic", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "21 - 27" }
Neat Embedding is not Sufficient for Complete Representability

s. 29 - 35

Tarek Sayed Ahmed

CZYSTY TEKST
Tarek Sayed Ahmed, Neat Embedding is not Sufficient for Complete Representability, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 29 - 35

BIBTEX
@Article{ authors = " Tarek Sayed Ahmed", title = "Neat Embedding is not Sufficient for Complete Representability", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "29 - 35" }
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)

s. 37 - 43

Zofia Kostrzycka

CZYSTY TEKST
Zofia Kostrzycka, On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p), Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 37 - 43

BIBTEX
@Article{ authors = " Zofia Kostrzycka", title = "On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "37 - 43" }
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant

s. 45 - 57

Jose M. Mendez Gemma Robles Francisco Salto

CZYSTY TEKST
Jose M. Mendez, Gemma Robles, Francisco Salto, The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 45 - 57

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "45 - 57" }
Pure Strict Implication Logics

s. 59 - 65

Szymon Frankowski

CZYSTY TEKST
Szymon Frankowski, Pure Strict Implication Logics, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 59 - 65

BIBTEX
@Article{ authors = " Szymon Frankowski", title = "Pure Strict Implication Logics", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "59 - 65" }
Non-Archimedean Valued Predicate Logic

s. 67 - 78

Andrew Schumann

CZYSTY TEKST
Andrew Schumann, Non-Archimedean Valued Predicate Logic, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 67 - 78

BIBTEX
@Article{ authors = " Andrew Schumann", title = "Non-Archimedean Valued Predicate Logic", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "67 - 78" }
Parametrizability by Regular Expressions for Equations on Words

s. 79 - 93

Lidia Badura Marek Zaionc

CZYSTY TEKST
Lidia Badura, Marek Zaionc, Parametrizability by Regular Expressions for Equations on Words, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 79 - 93

BIBTEX
@Article{ authors = " Lidia Badura, Marek Zaionc", title = "Parametrizability by Regular Expressions for Equations on Words", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "79 - 93" }