PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
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. 51
Czasopismo
Reports on Mathematical Logic
Wydawca
Rocznik
2016
Identyfikatory
Zawartość wolumenu
Vol. 51
artykuł:
Discriminator varieties of double-Heyting algebras
(
Taylor C. J.
), s. 3--14
artykuł:
Instantiation overflow
(
Dinis B.
,
Ferreira G.
), s. 15--33
artykuł:
An alternative intuitionistic version of Mally's deontic logic
(
Lokhorst G. J. C.
), s. 35--41
artykuł:
Unifying some notions of infinity in ZC and ZF
(
Oman G.
), s. 43--56
artykuł:
On homomorphic images and the free distributive lattice extension of a distributive nearlattice
(
Celani S.
,
Calomino I.
), s. 57--73
artykuł:
Truth in the limit
(
Mostowski M.
), s. 75--89
artykuł:
Categorical abstract algebraic logic weakly referential π-institutions
(
Voutsadakis G.
), s. 91--103
artykuł:
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
(
Robles G.
), s. 105--131
artykuł:
A note on Wansing's expansion of Nelson's logic : a correction to "An axiomatization of Wansing's expansion of Nelson's logic"
(
Omori H.
), s. 133--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ć.