PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Minimal non-relevant logics without the K axiom
Robles G., Mendez J. M.
Reports on Mathematical Logic
|
2007
|
No. 42
117-144
EN
The logic B+ is Routley and Meyer's basic positive logic. The logic BK+ is B+plus the K rule. We add to BK+ four intuitionistic-type negations. We show how to extend the resulting logics within the modal and relevance spectra. We prove that all the logics dened lack the K axiom.
2
Content available remote Anderson and Belnap's minimal positive logic with minimal negation
Mendez J. M., Salto F., Robles G.
Reports on Mathematical Logic
|
2002
|
No. 36
117-130
first rewind previous Strona / 1 next fast forward last
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ć.