Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:49094 helo=jukni.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.91)
	(envelope-from <apache@digitalkingdom.org>)
	id 1fm7oY-0001qA-Pv
	for jbovlaste-admin@lojban.org; Sat, 04 Aug 2018 18:26:36 -0700
Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sat, 04 Aug 2018 18:26:34 -0700
From: "Apache" <apache@digitalkingdom.org>
To: lynn@foldr.moe
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word zbalogji -- By lalxu
Date: Sat, 4 Aug 2018 18:26:34 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1fm7oY-0001qA-Pv@stodi.digitalkingdom.org>
X-Spam-Score: -0.9 (/)
X-Spam_score: -0.9
X-Spam_score_int: -8
X-Spam_bar: /



In jbovlaste, the user lalxu has edited a
definition of "zbalogji" in the language "English".

Differences:

5,5c5,5
< 		This is {fadylogji} without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence the name.) See also {xaklogji}.
---
> 		This is {fadylogji} without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence "{zbasu}"/"constructive".) See also {xaklogji}.
11,11d10
< 		Word: intuitionistic logic, In Sense: 
\n12a12,12
\n> 		Word: intuitionistic logic, In Sense: 


Old Data:

	Definition:
		$x_1$ is intuitionistic logic / constructive logic for inferring/deducing $x_2$ (du'u)

	Notes:
		This is {fadylogji} without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence the name.) See also {xaklogji}.

	Jargon:
		

	Gloss Keywords:
		Word: intuitionistic logic, In Sense: 
		Word: constructive logic, In Sense: 

	Place Keywords:



New Data:

	Definition:
		$x_1$ is intuitionistic logic / constructive logic for inferring/deducing $x_2$ (du'u)

	Notes:
		This is {fadylogji} without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence "{zbasu}"/"constructive".) See also {xaklogji}.

	Jargon:
		

	Gloss Keywords:
		Word: constructive logic, In Sense: 
		Word: intuitionistic logic, In Sense: 

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/zbalogji> to see it.