P

propositional calculus

Projects with this topic

R

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
Renato Reis Leme / fregeIT

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

logic frege propositiona...
+ 1 more

0

Updated Oct 15, 2019

0 0 0 0

Updated Oct 15, 2019