Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,392,154 papers from all fields of science
Search
Sign In
Create Free Account
Proof calculus
Known as:
Calculus (disambiguation)
, Proof calculi
, Proof system
In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Calculus of structures
Cirquent calculus
Curry–Howard correspondence
Design pattern
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
A. Burrieza
,
Á. Mora
,
M. Ojeda‐Aciego
,
E. Orlowska
International Journal of Computational…
2009
Corpus ID: 6969723
Logic programming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning…
Expand
Review
2007
Review
2007
Computers, Justification, and Mathematical Knowledge
Konstantine Arkoudas
,
S. Bringsjord
Minds and Machines
2007
Corpus ID: 18863660
The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the…
Expand
Highly Cited
2007
Highly Cited
2007
Semantic Inference at the Lexical-Syntactic Level
Roy Bar-Haim
,
Ido Dagan
,
Iddo Greental
,
Eyal Shnarch
AAAI Conference on Artificial Intelligence
2007
Corpus ID: 6459946
Semantic inference is an important component in many natural language understanding applications. Classical approaches to…
Expand
2006
2006
Reasoning with multiple-source information in a possibilistic logic framework
S. Benferhat
,
C. Sossai
Information Fusion
2006
Corpus ID: 18363363
2006
2006
Relational Approach to Order-of-Magnitude Reasoning
A. Burrieza
,
M. Ojeda‐Aciego
,
E. Orlowska
Theory and Applications of Relational Structures…
2006
Corpus ID: 460753
This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the…
Expand
2003
2003
Order-Based Inference in Natural Logic
Yaroslav Fyodorov
,
Yoad Winter
,
N. Francez
Logic Journal of the IGPL
2003
Corpus ID: 6160514
This paper develops a version of Natural Logic – an inference system that works directly on natural language syntactic…
Expand
2000
2000
RTL verification: a floating-point multiplier
David M. Russinoff
,
A. Flatau
2000
Corpus ID: 53897994
We describe a mechanical proof system for designs represented in the AMD1 RTL language, consisting of a translator to the ACL2…
Expand
1996
1996
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity
A. Artosi
,
Paola Benassi
,
Guido Governatori
,
A. Rotolo
Advances in Modal Logic
1996
Corpus ID: 17095746
In this paper we describe a modal proof system arising from the combination of a tableau-like classical system, which…
Expand
Highly Cited
1992
Highly Cited
1992
Equivalences on observable processes
I. Ulidowski
[] Proceedings of the Seventh Annual IEEE…
1992
Corpus ID: 18165936
The finest observable and implementable equivalence on concurrent processes is sought as part of a larger program to develop a…
Expand
1987
1987
A Compositional Proof Theory for Real-Time Distributed Message Passing
J. Hooman
Parallel Architectures and Languages Europe
1987
Corpus ID: 32733621
A compositional proof system is given for an OCCAM-like real-time programming language for distributed computing with…
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