Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.
Work
Year: 1990
Type: article
Abstract: The system RMI is a purely relevance logic based on the intuitive ideas of relevance domains and degrees of significance.In this paper, we show that unlike the systems of Anderson and Belnap, RMI has ... more
Author Arnon Avron
Cites: 2
Cited by: 7
Related to: 10
FWCI: 0.466
Citation percentile (by year/subfield): 61.52
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze