Reports on Mathematical Logic - Tom Vol. 45 (2010) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 45

Czasopismo

Reports on Mathematical Logic

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 45
- artykuł: Some locally tabular logics with contraction and mingle (Hsieh A.), s. 143-159
- artykuł: Some corrections to R. Urbaniak’s paper on ontological functors of Leśniewski’s elementary ontology (Borowski L.), s. 249-249
- artykuł: On the variety of Heyting algebras with successor generated by all finite chains (Castiglioni J. L., San Martin H. J.), s. 201-224
- artykuł: On the lattice of p-consequences (Frankowski S.), s. 23-35
- artykuł: On some properties of quasi MV algebras and square root quasi MV algebras. Part III (Paoli F., Kowalski T.), s. 161-199
- artykuł: On frontal Heyting algebras (Castiglioni J. L., Sagastume M., San Martin H. J.), s. 1201-224
- artykuł: Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective (Robles G.), s. 97-118
- artykuł: Definability in infinitary languages and invariance by automorphims (Rodrigues A. A. M., Miranda Filho R. C., de Souza E. G.), s. 119-133
- artykuł: Complementary pair of quasi-antiorders (Crvenkovic S., Mitrovic M., Romano D. A.), s. 135-142
- artykuł: Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems (Kamide N.), s. 3-21
- artykuł: A 2-categorical framework for the syntax and semantics of many-sorted equational logic (Vidal C., Soliveres Tur J.), s. 37-95

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ć.