Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T19:18:33.936Z Has data issue: false hasContentIssue false
  • English
  • Français

Relevant entailment—semantics and formal systems

Published online by Cambridge University Press:  12 March 2014

Arnon Avron
Arnon Avron*
Affiliation:
Tel-Aviv University, Tel-Aviv, Israel
Get access Rights & Permissions [Opens in a new window]

Extract

This work results from an attempt to give the vague notion of relevance a concrete semantical interpretation. The idea is that propositions may be divided into different “domains of relevance”. Each “domain” has its own “T” and “F” values, and propositions “belonging” to one domain can never entail propositions “belonging” to another, unconnected one.

The semantics we have developed were found to correspond to an already known system, which we call here RMI⥲. Its axioms are the implication-negation axioms of the system RM ([1, Chapter 5]). However, as Meyer has shown, RM is not a conservative extension of RMI⥲, since RMI⥲ has the sharing-of-variables property ([5], and [1, pp. 148–149[), which the implication-negation fragment of RM has not.

RMI⥲ has four advantages in comparison to its more famous sister R⥲ (the pure intentional fragment of the system R; see [1]):

a) It has a very natural (from a relevance point of view) many-valued semantics, the simple form of which we describe here.

b) RMI⥲, ⊢ A1 → [A2 → (… → (An → A) …)] iff there is a proof of A from the set {A1, …, An} that actually uses all the members of this set. In R⥲, this holds only if we talk about “sequences” instead of “sets”. This is somewhat less intuitive (see [1, pp. 394–395]).

c) RMI⥲ is a maximal “natural” relevance logic, in the sense that every proper extension of it limits the number of “domains of relevance” (§III).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 49 , Issue 2 , June 1984 , pp. 334 - 342
Copyright
Copyright © Association for Symbolic Logic 1984

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Anderson, A. R. and Belnap, N. D., Entailment, Vol. 1, Princeton University Press, Princeton, New Jersey, 1975.Google Scholar
[2]Church, A., The weak theory of implication, Kontrolliertes Denken, Munich, 1951.Google Scholar
[3]Dunn, J. M., Algebraic completeness results for R-mingle and its extensions, this Journal, vol. 35 (1970), pp. 1–13.Google Scholar
[4]Meyer, R. K., R-mingle and relevant disjunction, this Journal, vol. 36 (1977), p. 366 (abstract).Google Scholar
[5]Parks, R. Z., A note on R-mingle and Sobocinski's three-valued logic, Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 227–228.CrossRefGoogle Scholar
[6]Takeuti, G., Proof theory, North-Holland, Amsterdam, 1975.Google Scholar
[7]Sobociński, B., Axiomatization of a partial system of three-valued calculus of propositions, The Journal of Computing Systems, vol. 1 (1952), pp. 23–55.Google Scholar
[8]Tamura, S., The implicational fragment of R-mingle, Proceedings of the Japan Academy, vol. 47 (1971), pp. 71–75.Google Scholar
[9]Ross, A., An alternative formalization of Sobocinski's three-valued implicational propositional calculus, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 166–172.CrossRefGoogle Scholar
[10]Meyer, R. K. and Parks, R. Z., Independent axioms for the implicational fragment of Sobocinski's three-valued logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 291–295.CrossRefGoogle Scholar