Baidu
map

RELEVANT CONNEXIVE LOGIC

Francez, N

Francez, N (reprint author), Technion IIT, Comp Sci Dept, Haifa, Israel.

LOGIC AND LOGICAL PHILOSOPHY, 2019; 28 (3): 409

Abstract

In this paper, a connexive extension of the relevance logic R -> was presented. It is defined by means of a natural deduction system, and a deducti......

Full Text Link


Baidu
map
Baidu
map
Baidu
map