lambdaft / chatushkoti

A Javascript library for four-valued logic.

चतुष्कोटी (Quaternary Logic)

A Javascript library for four-valued logic.

• T - True. प्रज्ञा
• F - False. मिथ्या
• B - (Fuzzy) Both true and false / Fractional truth / Fuzzy truth. श्रद्धा
• N - (Unknown) Neither true nor false / Not Applicable/Unknown/Can't Happen/Impossibility. वस्तुशून्य /संशय

NOT Table

Value	Not Value
True	False
Fuzzy	Fuzzy
Unknown	Unknown
False	True

AND Table

X AND =>	True	Fuzzy	Unknown	False
True	True	Fuzzy	Unknown	False
Fuzzy	Fuzzy	Fuzzy	False	False
Unknown	Unknown	False	Unknown	False
False	False	False	False	False

OR Table

X OR =>	True	Fuzzy	Unknown	False
True	True	True	True	True
Fuzzy	True	Fuzzy	True	Fuzzy
Unknown	True	True	Unknown	Unknown
False	True	Fuzzy	Unknown	False

• https://en.wikipedia.org/wiki/Catu%E1%B9%A3ko%E1%B9%ADi
• http://www.filosofia.unimi.it/dagostino/wp-content/uploads/2017/05/Belnap.pdf
• https://github.com/sebs/es6-fuzz
• https://airccj.org/CSCP/vol7/csit77406.pdf
• http://www.pitt.edu/~belnap/howacomputershouldthink.pdf
• https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1063372199
• https://www.ijcai.org/Proceedings/97-1/Papers/021.pdf
• http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.98.6984&rep=rep1&type=pdf