ra'arlogji

valsi

ra'arlogji

type

lujvo

creator

lalxu

time entered

Sun Aug 5 01:25:52 2018  

English

Definition #71028 - Preferred

 

definition

x₁ is relevant logic / relevance logic, used to deduce/infer x₂ (du'u)

notes

A substructural logic where the antecedent and consequent of implications are constrained to stay "relevant" (srana) to each other. ("Weakening", adding irrelevant truths to the set of antecedents, is not allowed.) See also xaklogji, xakyziflogji, fadylogji, zbalogji.

gloss words

• relevant logic

created by

lalxu

vote information

1

time

Sun Aug 5 01:25:52 2018

Examples

---