Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,122,565 papers from all fields of science
Search
Sign In
Create Free Account
Propositional calculus
Known as:
Sentence logic
, Exportation in logic
, Truth-functional propositional logic
Expand
Propositional calculus (also called propositional logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
A New Kind of Science
Ampersand
Attributional calculus
Calculus ratiocinator
Expand
Broader (1)
Boolean algebra
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
Leibniz filters and the strong version of a protoalgebraic logic
J. M. Font
,
R. Jansana
Archive for Mathematical Logic
2001
Corpus ID: 12158822
Abstract. A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra…
Expand
Highly Cited
2001
Highly Cited
2001
Back to the Future: Dimensions Revisited
Trevor J. M. Bench-Capon
,
Edwina L. Rissland
2001
Corpus ID: 1185613
Most recent work on reasoning with cases in law has taken the style of rea- soning used in the CATO system as its model, and uses…
Expand
2001
2001
The Girard-Reynolds isomorphism
P. Wadler
Information and Computation
2001
Corpus ID: 1415945
2001
2001
Partiality and Games: Propositional Logic
G. Sandu
,
A. Pietarinen
Logic Journal of the IGPL
2001
Corpus ID: 5481075
We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined…
Expand
1996
1996
Semantics of an Anytime Family of Reasoners
M. Dalal
European Conference on Artificial Intelligence
1996
Corpus ID: 14321333
An anytime family of propositional reasoners is a sequenceR0;R1; : : : of inference relations such that each Ri is sound…
Expand
1995
1995
A geometric proof of the completeness of the Łukasiewicz calculus
Giovanni Panti
Journal of Symbolic Logic (JSL)
1995
Corpus ID: 40268008
Abstract We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of…
Expand
1993
1993
Redressing the balance: the advantages of informal evaluation techniques for Intelligent Learning Environments
M. Twidale
1993
Corpus ID: 13894895
The paper discusses issues to be considered when evaluating an Intelligent Learning Environment. In particular it considers…
Expand
Review
1986
Review
1986
Many-valued Logic
A. Urquhart
1986
Corpus ID: 124894381
Many-valued logic is a vast field with hundreds of published papers and over ten monographs devoted to it. I have attempted to…
Expand
Highly Cited
1983
Highly Cited
1983
Scientists' Understanding of Propositional Logic: An Experimental Investigation
Leslie H. Kern
,
H. Mirels
,
V. Hinshaw,
1983
Corpus ID: 62692050
Seventy-two scientists (psychologists, biologists, and physicists) from a large US midwestern state university completed a…
Expand
1949
1949
Fragments of the propositional calculus
L. Henkin
Journal of Symbolic Logic (JSL)
1949
Corpus ID: 37749561
Of the several methods for proving the completeness of sets of axioms for the prepositional calculus perhaps the simplest is due…
Expand
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)
ACCEPT & CONTINUE