formal-logic

There are 1 repository under formal-logic topic.

• principia

  LogicalAtomist / principia

  The Principia Rewrite

  logichistory-of-philosophycoqcoq-ecosystemformal-logicformal-mathematicsformal-proofslatexlatex-packages
  Language:TeX 214

• malikpiara / logicola

  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

  educationelearningformal-logiclearninglogicquizapplogicola
  Language:TypeScript 48

• Lipen / discrete-math-course

  :milky_way: Supplementary materials for Discrete Math course at ITMO University

  binary-relationscheatsheetcombinatoricsdiscrete-mathematicsformal-logicgraph-theoryhomeworkset-theorytex
  Language:TeX 35

• ozekik / mathesis

  Python library for computational formal logic, formal semantics, and theorem proving

  first-order-logicformal-logiclogicmathematical-logicphilosophical-logicphilosophyproofpropositional-logicproversemantics
  Language:Python 20
• logic-learning-assistance-tool

  joshuacrotts / logic-learning-assistance-tool

  This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

  logicteachingcomputer-sciencephilosophyformal-logicpropositional-logicpredicate-logicjavaguifirst-order-logiclogic-proofs
  Language:Java 9

• heqin-zhu / system-L

  :arrow_right:Formal logic deduction based on system-L

  formal-logicdeductiondeduction-system
  Language:Python 5

• marcofavorito / pythogic

  A Python package for deal with logical formulas and formal systems (e.g. FOL)

  logicformal-logicformal-languagesltlfirst-order-logicpropositional-logiclinear-temporal-logiclogic-formalismsformal-methodsldlfltlf
  Language:Python 5

• hrb90 / kripke

  Kripke semantics

  kripke-modelformal-logicsemanticsintuitionistic-logicmodal-logic
  Language:PureScript 4

• joshuacrotts / formal-logic-aiding-tutor

  This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

  formal-logiccs-educationlogicnatural-deductiontruth-tabletruth-tree
  Language:Java 4

• jossmoff / buzzproof

  🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

  formal-logiclatexlinear-natural-deductionlogicnatural-deduction
  Language:TeX 2

• ahmedibrhm / Formal-Logic-argument-Script-Evaluator

  Script that evaluates the validity of the logical argument through analyzing premises and conclusions.

  formal-logicdata-structures
  Language:Python 1

• DiegoEfu / react-truth-table

  Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.

  calculatorformal-logicjslogicreactjstruth-tabletruth-table-generator
  Language:JavaScript 1

• lxstsvnd / Euclid

  Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations

  distributed-computingformal-languageformal-logic
  Language:C++ 1

• markpock / fitch-proof-for-propositional-logic

  A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

  fitchfitch-proofsformal-logicformal-proofslogicpropositional-calculuspropositional-logicpropositional-proof-systemsentential-calculus
  Language:Python 1

• cister-labs / fvoca2223

  Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc

  formal-languagesformal-logicformal-methodsformal-semanticsformal-specificationhoare-logicsatsmt
  Language:HTML 0

• GonzalezCastillo / leavingthecave

  Leaving the cave: an introduction to mathematical thinking.

  mathematicstextbookset-theoryformal-logiccreative-commons
  Language:TeX 0

• jakeevans00 / datalog-interpreter

  Interpreter for the Datalog programming language. Parse, tokenize, AST, and execute database queries using relational algebra operators

  cppformal-logicgrammar-parserooprecursive-descent-parsertokenizerabstract-syntax-tree
  Language:C++ 0

• krichelj / ALIO_BGU_2020

  Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

  automatahomeworkinfinitelogiccomputability-theorycomputer-scienceformal-languagesformal-logicformal-methodsformal-verificationtemporal-logic
  0

• matthew-reid / axioma

  Online tool for graphing entity relations

  philisophyentity-relationformal-logicdrawinggraphs
  Language:JavaScript 0

• vedadux / nanoqbf

  A minimal implementation of an expansion-based QBF solver which does not use recursion.

  qbfqbf-solverformal-methodsformal-logiclogic
  Language:C++ 0

• ewdlop / Logic-Note

  computer-assisted-proofformal-logicproofs-as-programsboolean-logicfirst-order-logicmodal-logicpredicate-logicpropositional-calculusfuzzy-logicmany-valued-logicthree-valued-logicthree-state-logic
  Language:Python

• Lima001 / BCC-Logica

  Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.

  formal-logiclanguage-interpretermetaprogramming
  Language:Python

• Ohara124c41 / AIND-Forward-Planning_Agent

  Implementation of a Forward-Planning Agent for Udacity's Artificial Intelligence Nanodegree (v3.0). This project is the solution for the notebook from the classroom (topic: Classical Planning).

  artificial-intelligenceforward-checkingaimaformal-logic
  Language:Python

• stas1f1 / ProductionModel

  A C# app for a production model, completed as a part of Formal Logic course, 2nd year of study, MMCS SFEDU

  csharpformal-logic
  Language:C#