Skip to search formSkip to main contentSkip to account menu

Propositional calculus

Known as: Sentence logic, Exportation in logic, Truth-functional propositional logic 
Propositional calculus (also called propositional logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
A New Kind of ScienceAmpersandAttributional calculusCalculus ratiocinator

Broader (1)

Boolean algebra

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Exploring networks of problem-solving interactions
Intelligent tutoring systems and other computer-aided learning environments produce large amounts of transactional data on… 
2010
2010
Semantic diff as the basis for knowledge base versioning
13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada 
Review
2005
Review
2005
An Extended Theory of Human Problem Solving
An Extended Theory of Human Problem Solving Pat Langley (langley@csli.stanford.edu) Seth Rogers (srogers@csli.stanford.edu… 
2002
2002
Fuzzy belief revision
Fuzzy sets, having been the long-standing mainstay of modeling and manipulating imperfect information, are an obvious candidate… 
2001
2001
Leibniz filters and the strong version of a protoalgebraic logic
Abstract. A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra… 
1997
1997
Finite Schematizable Algebraic Logic
In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by… 
1995
1995
A geometric proof of the completeness of the Łukasiewicz calculus
Abstract We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of… 
1993
1993
Redressing the balance: the advantages of informal evaluation techniques for Intelligent Learning Environments
The paper discusses issues to be considered when evaluating an Intelligent Learning Environment. In particular it considers… 
Highly Cited
1983
Highly Cited
1983
Scientists' Understanding of Propositional Logic: An Experimental Investigation
Seventy-two scientists (psychologists, biologists, and physicists) from a large US midwestern state university completed a… 
1978
1978
Logic and philosophy: A modern introduction
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)