Reports on Mathematical Logic

No. 27 (1993)


Francesco PAOLI

SEMANTICS FOR FIRST DEGREE RELATEDNESS LOGIC

A b s t r a c t. In this paper, we axiomatize the first-degree entailments of relatedness logic, and introduce both tabular and algebraic semantics for such a fragment. Thereby, we partly answer the problems referred to as P1 and P28 in the Problem Section of this journal.


Back to Main Menu