JSTOR Daily

Predicate Logic with Flexibly Binding Operators and Natural Language Semantics

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...
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 ...
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 ...
GitHub

bradsaucier/predicate-logic-forge

Proof isn't optional. This is predicate logic with edge - built for warfighters of formal systems. If you've ever written a proof, you already know: either it holds on every domain element, or it gets ...
University of Vermont

Propositional logic

Propositional logic includes sentence letters (A, B, C, etc), which are assigned truth values, and logical connectives (AND, OR, NOT, IMPLICATION, EQUIVALENCE), but not quantifiers. This is also ...
IEEE

A Predicate Variant of Two-Layered Many-Valued Probability Logic

Abstract: The paper introduces a predicate version of two-layered fuzzy probability logic, extending the known propositional probability logic based on the infinite-valued logic of Lukasiewicz. The ...