zbalogji

valsi

zbalogji

type

lujvo

creator

lalxu

time entered

Sat Aug 4 21:18:06 2018  

English

Definition #71025 - Preferred

 

definition

x₁ is intuitionistic logic / constructive logic for inferring/deducing x₂ (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.

gloss words

• constructive logic
• intuitionistic logic

created by

lalxu

vote information

1

time

Sun Aug 5 01:26:34 2018

Examples

---