There are 1 repository under multivalued-logic topic.
Stateless behavior trees for C# 7
Human Logic
Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks
An implementation of Spencer Brown's Laws of Form in Agda
extension of quine-mccluskey minimization of logical expressions from boolean to multivalued
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions