Bulletin of the Section of Logic
Tom 36 ( 2007), Nr 1-2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

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

Robert Sochacki
That p + q = c(onsequence)

Grzegorz Malinowski
A Non-finitizability Result in Algebraic Logic

Tarek Sayed Ahmed
Neat Embedding is not Sufficient for Complete Representability

Tarek Sayed Ahmed
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)

Zofia Kostrzycka
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant

Jose M. Mendez Gemma Robles Francisco Salto
Pure Strict Implication Logics

Szymon Frankowski
Non-Archimedean Valued Predicate Logic

Andrew Schumann
Parametrizability by Regular Expressions for Equations on Words

Lidia Badura Marek Zaionc

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch