TYTUŁ
Bulletin of the Section of Logic
2007 / Tom 36 / Numer 1-2
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewiczs. 1 - 6CZYSTY TEKSTBIBTEX
-
That p + q = c(onsequence)s. 7 - 19CZYSTY TEKSTBIBTEX
-
A Non-finitizability Result in Algebraic Logics. 21 - 27CZYSTY TEKSTBIBTEX
-
Neat Embedding is not Sufficient for Complete Representabilitys. 29 - 35CZYSTY TEKSTBIBTEX
-
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)s. 37 - 43CZYSTY TEKSTBIBTEX
-
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constants. 45 - 57CZYSTY TEKSTBIBTEX
-
Pure Strict Implication Logicss. 59 - 65CZYSTY TEKSTBIBTEX
-
Non-Archimedean Valued Predicate Logics. 67 - 78CZYSTY TEKSTBIBTEX
-
Parametrizability by Regular Expressions for Equations on Wordss. 79 - 93CZYSTY TEKSTBIBTEX