A propositional logic library.
-
Updated
Apr 26, 2024 - TypeScript
#
propositional-logic
Here are 13 public repositories matching this topic...
Pravda is a tool for teaching formal logic.
logic first-order-logic hilbert propositional-logic natural-deduction educational-project educational-software sequent-calculus proof-systems
-
Updated
Mar 14, 2024 - TypeScript
Various materials for reviewing CPT107 and scripts for specific calculations
-
Updated
Jan 5, 2023 - TypeScript
A calculator for various things in Discrete Mathematics
-
Updated
Sep 7, 2023 - TypeScript
Automated Propositional Logic Proofs
-
Updated
May 1, 2017 - TypeScript
A game of self observing AI agent in wumpus world
game-development first-order-logic artificial-intelligence propositional-logic logical-operators ai-game logical-programming logical-inference
-
Updated
Oct 1, 2023 - TypeScript
A webapp for creating sequent proof of propositional formulas
-
Updated
Jan 20, 2025 - TypeScript
🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!
-
Updated
Jan 11, 2024 - TypeScript
Jape 2.0?
-
Updated
Feb 6, 2021 - TypeScript
Visual Studio Code extension for Limboole
-
Updated
Nov 20, 2024 - TypeScript
A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
artificial-intelligence propositional-logic knowledge-representation-reasoning rational-closure lexicographic-closure defeasible-reasoning klm-framework
-
Updated
Oct 4, 2024 - TypeScript
A webapp for visualising the resolution rule/ a resolution technique for propositional logic
-
Updated
Oct 14, 2024 - TypeScript
Use Resolution to Solve a Game of Clue
-
Updated
Sep 10, 2024 - TypeScript
Improve this page
Add a description, image, and links to the propositional-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the propositional-logic topic, visit your repo's landing page and select "manage topics."