View source for ra'arlogji

==== valsi ====
ra'arlogji
==== type ====
lujvo
==== creator ====
[[personal/lalxu|lalxu]]
==== time entered ====
Sun Aug  5 01:25:52 2018
 
== English ==
=== Definition #71028 - Preferred ===
 
==== definition ====
x<sub>1</sub> is relevant logic / relevance logic, used to deduce/infer x<sub>2</sub> (du'u)
==== notes ====
A substructural logic where the antecedent and consequent of implications are constrained to stay "relevant" ([[srana|srana]]) to each other. ("Weakening", adding irrelevant truths to the set of antecedents, is not allowed.) See also [[xaklogji|xaklogji]], [[xakyziflogji|xakyziflogji]], [[fadylogji|fadylogji]], [[zbalogji|zbalogji]].
==== gloss words ====

<ul><li>[[natlang/en/relevant logic|relevant logic]]</li></ul>

==== created by ====
[[personal/lalxu|lalxu]]
==== vote information ====
1
     
==== time ====
Sun Aug  5 01:25:52 2018



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===