GitHub

Teaching LLMs Reasoning in Predicate Logic

This is my master thesis project, supervised by Prof. Dr. Jan Niehues and Prof. Dr. Gregor Betz, both from the Karlsruhe Institute of Technology. It is about teaching different large language models ...
University of Vermont

Predicate logic

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...
GitHub

devshafi/Logic-Analysis-with-LLMs

This project explores the capabilities of Large Language Models (LLMs) in understanding, translating, and reasoning with predicate logic. The repository contains experiments analyzing how LLMs perform ...
Sacramento State University

Deductive Logic I

Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...
JSTOR Daily

Not Every "Tabular" Predicate Logic Is Finitely Axiomatizable

This is a preview. Log in through your library . Abstract An example of finite tree $M_{o}$ is presented such that its predicate logic (i.e. the intermediate ...
JSTOR Daily

Sequence Semantics for Dynamic Predicate Logic

Journal of Logic, Language, and Information, Vol. 2, No. 3 (Jul., 1993), pp. 217-254 (38 pages) In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments ...