www.cs.cmu.edu

Propositional Logic and SAT

Define the following logic terms and apply them to real-world problems: Describe the simple model checking algorithm and the theorem proving algorithms - forward chaining and resolution, what they ...
IEEE

Discrete Markov process interpretation of propositional logic

Abstract: A stochastic interpretation of propositional logic formulas is introduced that uses a specific discrete Markov process with two states. The requirements for this interpretation are ...
marktechpost

Logic-of-Thought: Enhancing Logical Reasoning in Large Language Models through Propositional Logic Augmentation

Large Language Models (LLMs) have made significant strides in various Natural Language Processing tasks, yet they still struggle with mathematics and complex logical reasoning. Chain-of-Thought (CoT) ...
GitHub

A simple class for evaluating custom propositional logic statements encoded in text.

A map of propositions defined by the user, of which describe the valid statements that can be used. A statement parser, which can interpret AND (&&), OR (||), and negate (!) symbols, and use order of ...
GitHub

README.md

Unix truth table generator for propositional logic formulas developed with Haskell. This program employs syntax analysis algorithms for the propositional logic language, balanced parentheses ...
Frontiers

Propositional density: cognitive impairment and aging

It is important to understand the relationship between cognitive abilities and language processing. Here, we explore a burgeoning area of research that harnesses semantic indices to predict cognitive ...