PLMan - Propositional Logic Parser

Brought to you by: delta88

Last Update: 2013-02-27

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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start 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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

INI Parser Library
An INI file parser that can read, edit and create large INI files. Usable under Microsoft Windows, DOS, Linux, etc. Supported languages are C, C++, Visual Basic, Java, TCL, Perl, Python, etc (DLL and SWIG capable).
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.
Sentence Parser for JAVA
This is a code for the sentence parsing that does its job properly and FAST. The main problem is that you really need a database of abbreviations so that phrases such as "Dr. Smith" are not calculated as 2 sentences, which means that the good parser must be language dependent. I am also providing a list of all English abbreviations with the code. USAGE: parser p = new parser(); p.parseDoc("in.txt", "out.txt"); in.txt is the String for the filename that you wish to parse out.txt is the String for the filename that you want to have as an output
Logic Custom OS
A students experimental command driven OS
Javum- The Java Virtual Unix Machine
Javum, the Java Virtual Unix Machine, is an ambitious project which aims to provide a full virtualized Unix environment including C compiler (GCC), Unix-like API, shell, and command line tools, inside of a JVM. Details @ http://javum.wiki.sourceforge.net