PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 47
Czasopismo
Reports on Mathematical Logic
Wydawca
Wydawnictwo Uniwersytetu Jagiellońskiego
Rocznik
2012
Identyfikatory
Zawartość wolumenu
Vol. 47
artykuł:
Secrecy logic : protoalgebraic S - secrecy logics
(
Voutsadakis G.
), s. 3-28
artykuł:
Strong normalization of a typed lambda calculus for intuitionistic bounded linear - time temporal logic
(
Kamide N.
), s. 29--61
artykuł:
The weak König Lemma, Brouwer fan theorem, De Morgan's Law, and dependent choice
(
Berger J.
,
Ishihara H.
,
Schuster P.
), s. 63-86
artykuł:
Relational and neighborhood semantics for intuitionistic modal logic
(
Kojima K.
), s. 87-113
artykuł:
Ultrafilters (with dense elements) over closure spaces
(
Hinnion R.
), s. 115-124
artykuł:
CAAL : Categorical Abstract Algebraic Logic : coordinatization is algebraization
(
Voutsadakis G.
), s. 125-145
artykuł:
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem
(
Robles G.
), s. 147-171
artykuł:
A lattice of implicative extensions of regular Kleene's logics
(
Tomova N.
), s. 173-182
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.