Keyword

propositional logic

Description: A branch of formal logic that studies propositions and how logical connectives determine their truth values.

Primary topic: Logic, Reasoning, and Knowledge (36%)

Wikidata ID: wiki/Q200694

OpenAlex ID: keywords/propositional-logic

A logical calculus of the ideas immanent in nervous activity

1943 · Warren S. McCulloch, Walter Pitts · Bulletin of Mathematical Biology · 18,534

A Computing Procedure for Quantification Theory

1960 · Martin Davis, Hilary Putnam · Journal of the ACM · 2,654

PDF

A Mathematical Introduction to Logic

2001 · Elsevier eBooks · 2,387

Elements of Symbolic Logic.

1948 · J. C. C. McKinsey, Hans Reichenbach · American Mathematical Monthly · 2,243

The complexity of satisfiability problems

1978 · Thomas J. Schaefer · ACM Symposium on Theory of Computing (STOC) · 1,794

PDF

Nonmonotonic reasoning, preferential models and cumulative logics

1990 · Sarit Kraus, Daniel Lehmann, et al. · Artificial Intelligence · 1,660

PDF

On the semantic properties of logical operators in English

1972 · Laurence R. Horn · Medical Entomology and Zoology · 1,519

A logical calculus of the ideas immanent in nervous activity

1990 · Warren S. McCulloch, Walter Pitts · Bulletin of Mathematical Biology · 1,451

A System of Logic

1843 · John Stuart Mill · 1,235

Artificial Intelligence: A New Synthesis

1998 · Elsevier eBooks · 1,202

On the Complexity of Derivation in Propositional Calculus

1983 · G. S. Tseitin · Springer eBooks · 1,201

Elements of Symbolic Logic.

1948 · Nelson Goodman, Hans Reichenbach · The Philosophical Review · 1,090

Handbook of Satisfiability

2021 · Frontiers in artificial intelligence and applications · 1,039

Introduction to a General Theory of Elementary Propositions

1921 · Emil L. Post · American Journal of Mathematics · 1,001

Using Z: Specification, Refinement, and Proof

1996 · Jim Woodcock, Jim Davies · Medical Entomology and Zoology · 958

The Problem of Simplifying Truth Functions

1952 · W. V. Quine · American Mathematical Monthly · 896

On the difference between updating a knowledge base and revising it

1992 · Hirofumi Katsuno, Alberto O. Mendelzon · Cambridge University Press eBooks · 865

Logic in computer science: modelling and reasoning about systems

2005 · Choice Reviews Online · 857

Pushing the envelope: planning, propositional logic, and stochastic search

1996 · Henry Kautz, Bart Selman · 847

What does a conditional knowledge base entail?

1992 · Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 829

Introduction to logic

1957 · Patrick Suppes · CERN Document Server (European Organization for Nuclear Research) · 806

Knowledge-based artificial neural networks

1994 · Geoffrey G. Towell, Jude W. Shavlik · Artificial Intelligence · 760

From Frege to Gödel: a source book in mathematical logic, 1879-1931

2021 · Jean van Heijenoort · 733

An Introduction to Non-Classical Logic

2008 · Graham Priest · Cambridge University Press eBooks · 712

Directed hypergraphs and applications

1993 · Giorgio Gallo, Giustino Longo, et al. · Discrete Applied Mathematics · 709

Works count: 12,320

Citation count: 125,600