Relevance principle for substructural logics with mingle and strong negation

Journal of Logic and Computation

Volumn 12, Issue 6, 2002, Pages 913-928

  Kamide, Norihiro ^a  

^a WAKAYAMA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

Author keywords

MALL+MIX; Mingle; Relevance principle; Strong negation; Substructural logic

Indexed keywords

INTERPOLATION; LINEAR EQUATIONS; MARKOV PROCESSES; THEOREM PROVING;

NEGATION;

FORMAL LOGIC;

EID: 0037217132     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.6.913     Document Type: Article

References (12)

1. A. Almukdad and D. Nelson. Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49, 231-233, 1984.
2. A.R. Anderson and N.D. Belnap, Jr. Entailment Vol, 1. Princeton University Press, 1975.
3. A. Arieli and A. Avron. Reasoning with logical bilattices. Journal of Logic, Language and Information, 5, 25-63, 1996.
4. A. Avron. Formulas for which contraction is admissible. Logic Journal of the IGPL, 6, 43-48, 1998.
5. A. Avron. Negation: two points of view. In What is Negation?, D. Gabbay and H. Wansing, eds, pp. 3-22. Kluwer Academic Publishers, 1999.
6. N. Kamide. Substructural logics with mingle. Journal of Logic, Language and Information, 11, 227-249, 2002.
7. D. Nelson. Constructible falsity, Journal of Symbolic Logic, 14, 16-26, 1949.
8. M. Ohnishi and K. Matsumoto. A system for strict implication, Annals of the Japan Association for Philosophy of Science 2, 183-188, 1964.
9. M. Pentus. Models for the Lambek calculus, Annals of Pure and Applied Logic, 75, 179-213, 1995.
10. G. Priest and R. Routly. Introduction: paraconsistent logics. Studia Logica, 43, 3-16, 1982.
11. H. Schellinx. The noble art of linear decorating. ILLC dissertation series, Universiteit van Amsterdam, 1994.
12. H. Wansing. Informational interpretation of substructural propositional logics. Journal of Logic, Language and Information, 2, 285-308, 1993.