tarski

Here are 5 public repositories matching this topic...

Tarski's world: semantics of first-order logic

world logic first-order-logic scala3 tarski

Simple Unity "game" to help you practice with predicate logic.

unity tarski

Analytic tableau proof editor for Tarski's World

education logic fitch lpl language-proof-and-logic tarski analytic-tableaux

Companion to Tarski

world semantics logic first-order-logic tarski tarski-s-world

🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI

university math proof logic-programming of induction milano fitch logica tarski-axiom unimi milan fitch-proofs logical-programming tarski boole fitch-algorithm tarski-s-world

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

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