Abstract: As legal systems become increasingly complex and the demand for automated decision-making grows, there is a pressing need for tools that can assist legal professionals in applying legal ...

The PLRE (propositional logic reasoning engine) is a Python package for determining the truth values of propositional logic formulae, given an assignment of truth values to the propositional symbols ...

The theory of grammar adopted here is that grammar is based on a logical form based on proposition structure. A proposition is that part of a sentence less its modal modifiers--roughly, the node S. A ...

Abstract: A new logical structure, the fuzzy normal proposition logic, is defined in this paper. For describing objective items, it is quite near to their original appearances, and may well be ...