https://wiki.lojban.io/index.php?action=history&feed=atom&title=zbalogji 2026-04-28T00:21:26Z Revision history for this page on the wiki MediaWiki 1.45.3 https://wiki.lojban.io/index.php?title=zbalogji&diff=22268&oldid=prev 2026-01-13T17:20:32Z

<p>Import words via API</p> <p><b>New page</b></p><div>==== valsi ====<br /> zbalogji<br /> ==== type ====<br /> lujvo<br /> ==== creator ====<br /> [[personal/lalxu|lalxu]]<br /> ==== time entered ====<br /> Sat Aug 4 21:18:06 2018<br />  <br /> == English ==<br /> === Definition #71025 - Preferred ===<br />  <br /> ==== definition ====<br /> x&lt;sub&gt;1&lt;/sub&gt; is intuitionistic logic / constructive logic for inferring/deducing x&lt;sub&gt;2&lt;/sub&gt; (du&#039;u)<br /> ==== notes ====<br /> This is [[fadylogji|fadylogji]] without the law of excluded middle or double negation elimination. (Which ends up meaning that you can&#039;t prove &quot;P or Q&quot; without &quot;constructing&quot; a proof of either P or Q, hence &quot;[[zbasu|zbasu]]&quot;/&quot;constructive&quot;.) See also [[xaklogji|xaklogji]].<br /> ==== gloss words ====<br /> <br /> &lt;ul&gt;&lt;li&gt;[[natlang/en/constructive logic|constructive logic]]&lt;/li&gt;&lt;li&gt;[[natlang/en/intuitionistic logic|intuitionistic logic]]&lt;/li&gt;&lt;/ul&gt;<br /> <br /> ==== created by ====<br /> [[personal/lalxu|lalxu]]<br /> ==== vote information ====<br /> 1<br /> <br /> ==== time ====<br /> Sun Aug 5 01:26:34 2018<br /> <br /> <br /> <br /> &lt;br/&gt;&lt;font size=&quot;+1&quot;&gt;Examples&lt;/font&gt;<br /> &lt;hr/&gt;<br /> &lt;dl&gt;<br /> &lt;/dl&gt;<br /> <br /> === Etymology ===</div>

Nalvaizmiku