P
propositional calculus

Projects with this topic

View DeMorgan.jl project

Dream Scatter / DeMorgan.jl

Classical logic truth table magma algebra

algebra mathematics computer-alg... proof logic Proof Assistant formal proof propositiona... reasoning

0

Updated Nov 29, 2023

0 0 0 0

Updated Nov 29, 2023
View Reverse Polish Notation Parser project

Iago Bozza / Reverse Polish Notation Parser

RPN-Parser is a simple parser for propositional logic with reverse Polish notation build with JavaScript and React.

parser propositiona...

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
View fregeIT project

Renato Reis Leme / fregeIT

A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.

logic frege propositiona... translation

0

Updated Oct 15, 2019

0 0 0 0

Updated Oct 15, 2019