https://github.com/mithrandie/ternary

Three-valued logic based on Kleene's strong logic of indeterminacy

golang three-valued-logic

Last synced: 12 Apr 2025

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 18 Feb 2025

https://github.com/newyaroslav/trit_array_cpp

C++ header-only library of a trit array

array cpp header-only three-valued-logic trilean trilean-array trinary trit trits

Last synced: 26 Feb 2025