PLMan - Propositional Logic Parser

Brought to you by: delta88

Last Update: 2013-02-27

Get an email when there's a new version of PLMan - Propositional Logic Parser

PLMan is a propositional logic sentence parser/calculator with variable
handling capability implemented in Java, which means that it runs on every JVM
installed environment (Unix, Linux, Windows, etc.).

Project Activity

See All Activity >

Follow PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser Web Site

Other Useful Business Software

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Rate This Project

User Reviews

Be the first to post a review of PLMan - Propositional Logic Parser!

Additional Project Details

Registered

2003-12-19

Report inappropriate content

Recommended Projects

Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
Logic Calculator
A Calculator to perform logical operations
tydevi
Typed Dependency Viewer. Provides a view of typed dependencies of a sentence as computed by Stanford parser
Logic Circuit Simulation in C++
libLCS is a hardware description library in C++ aiming to be as powerfull and easy as the Verilog HDL. It currently supports logic gates, flipflops, clock, and facilitates delays, continuous assignments and variable value dumping into VCD files.
Logicheck
An interactive tool to test logical structures and expressions