Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
117--130
Opis fizyczny
Bibliogr. 5 poz.
Twórcy
autor
- Universidad de Salamanca 370007 Salamanca, Espana
autor
- Universidad de Salamanca 370007 Salamanca, Espana
autor
- Universidad de Salamanca 370007 Salamanca, Espana
Bibliografia
- [1] A.R. Anderson and N.D. Belnap, Entailment I. Princeton, 1975.
- [2] M. Dunn, Generalized ortho-negation, in H. Wansing (ed.) Negation. A notion in Focus. Berlin, 1996, 3–26.
- [3] I. Johansson, Der Minimalkalk¨ul, ein reduzierter intuitionistischer Formalismus, Compositio Mathematica 5 (1936), 119-136.
- [4] J.M. M´endez, Constructive R, Bulletin of the Section of Logic 16 (1987), 167–175.
- [5] J.M. M´endez and F. Salto, Intuitionistic propositional logic without contraction but with reductio, Studia Logica 66 (2000) 301–310.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0014-0006