Anderson and Belnap's minimal positive logic with minimal negation

• Autorzy: Mendez J. M. , Salto F. , Robles G.
• Języki publikacji: EN
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2002
• Tom: No. 36
• Strony: 117--130
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Mendez J. M.

• Universidad de Salamanca 370007 Salamanca, Espana

autor

Salto F.

• Universidad de Salamanca 370007 Salamanca, Espana

autor

Robles G.

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