Abstract: Kripke-style semantics is suggested for the provability logic with quantifiers on proofs corresponding to the standard Gödel proof predicate. It is proved that the set of valid formulas is ...

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 ...

Object representation of FO3 Expressions (including predicates with repeated arguments and formulas with typed arguments) Object representation of CoR Expressions (both homogeneous/untyped and ...

For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...

The study of monadic algebraic structures and fuzzy logic has evolved into a vibrant research area that bridges abstract algebra with the nuanced reasoning of uncertainty. By incorporating unary ...