Output details
11 - Computer Science and Informatics
Birkbeck College
Return to search
Output 0 of 0 in the submission
Article title
Positive fragments of relevance logic and algebras of binary relations
Type
D - Journal article
Title of journal
The Review of Symbolic Logic
Article number
-
Volume number
4
Issue number
01
First page of article
81
ISSN of journal
1755-0211
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11> This paper continues a major international research programme on relevance logic. We solve an open problem on completeness with respect to relational semantics, posed by M. Dunn ("Non-commutative linear logic", e-mail from 1992, available at www.seas.upenn.edu/~sweirich/types/archive/1992/msg00028), and R. Maddux ("Relevance logic and the calculus of relations" presented at International Conference on Order, Algebra and Logics, 2007, abstract available at www.math.vanderbilt.edu/~oal2007/submissions/submission_10.pdf). In particular, we show the incompleteness of the negation-free fragment of relevance logic.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Computational Intelligence
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-