PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Powiadomienia systemowe
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
No. 36
Czasopismo
Reports on Mathematical Logic
Wydawca
Wydawnictwo Uniwersytetu Jagiellońskiego
Rocznik
2002
Identyfikatory
Zawartość wolumenu
No. 36
artykuł:
From the poset of literals to a temporal negative normal form
(
Cordero P.
,
Enciso M.
,
Guzman I.
), s. 3-53
artykuł:
Decidable formulas of intuitionistic primitive recursive arithmetic
(
Salehi S.
), s. 55-61
artykuł:
Grabowski lattices are generated by graphs
(
Kolany A.
), s. 63-69
artykuł:
Asymptotic density as a method of expressing quantitative relations in intuitionistic logic
(
Soza G.
), s. 71-94
artykuł:
A canonical model construction for substructural logics with strong negation
(
Kamide N.
), s. 95-116
artykuł:
Anderson and Belnap's minimal positive logic with minimal negation
(
Mendez J. M.
,
Salto F.
,
Robles G.
), s. 117-130
artykuł:
A continuum of incomplete intermediate logics
(
Litak T.
), s. 131-142
artykuł:
Errata to RML 34 a short note on hoops and continuous t-norms
(
Ferreirim I.
), s. 143-144
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ć.