many-valued-logic

Star

Here are 5 public repositories matching this topic...

alexeyev / lukasiewicz-many-valued-logic-lean

Star

Mathlib-free Lean 4 Formalization of MV-algebras and the Soundness of Łukasiewicz / Basic Logic

formal-verification fuzzy-logic mathematical-logic many-valued-logic lean4 lukasiewicz-logic many-valued-algebra

Updated Jun 19, 2026
Lean

jonathandung / mvlogics

Star

Source code for the mvlogics python library.

python education research libraries mathematics fuzzy-logic-engine many-valued-logic formal-logic logics

Updated Aug 24, 2026
Python

Risto-Stevcev / purescript-kleene-logic

Sponsor

Star

Kleene Logic in purescript

logic lattice semilattice kleene many-valued-logic

Updated Aug 21, 2017
PureScript

A JVM substrate for pure fuzzy mathematics — fuzzy sets, t-norms, residua, fuzzy numbers, aggregation — with its algebraic laws published as a consumable property-test artifact. The algebra, not a control kit. Kotlin core, usable from Java, Clojure, or Scala.

kotlin jvm mathematics fuzzy-logic fuzzy-sets many-valued-logic zadeh t-norms

Updated Jul 16, 2026
Kotlin

Rajesh-VPai / SeaBattleParadox

Star

Sea Battle Paradox

java contingency many-valued-logic sea-battle-paradox

Updated Jul 26, 2023

Improve this page

Add a description, image, and links to the many-valued-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the many-valued-logic topic, visit your repo's landing page and select "manage topics."

Learn more

Navigation Menu

many-valued-logic

Here are 5 public repositories matching this topic...

alexeyev / lukasiewicz-many-valued-logic-lean

jonathandung / mvlogics

Risto-Stevcev / purescript-kleene-logic

MikeShorter / fuzzy-math

Rajesh-VPai / SeaBattleParadox

Improve this page

Add this topic to your repo