Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,310,331 papers from all fields of science
Search
Sign In
Create Free Account
Proof (truth)
Known as:
Logical Proof
, Proof
, Proof (informal)
A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines,with both the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Broader (2)
Automated theorem proving
Computational complexity theory
Formal proof
Formal system
Problem solving
Proof complexity
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The Syntax of Disjunctive Propositional Logic and Algebraic L-domains
Longchun Wang
,
Qingguo Li
arXiv.org
2019
Corpus ID: 102351613
Based on the investigation of the proof system of a disjunctive propositional logic introduced by Yi-xiang Chen and Achim Jung…
Expand
2014
2014
Generating Matrix Identities and Proof Complexity Fu Li
Iddo Tzameret
2014
Corpus ID: 22381599
Motivated by the fundamental lower bounds questions in proof complexity, we initiate the study of matrix identities as hard…
Expand
2014
2014
Can Quantum Key Distribution Be Secure
H. Yuen
2014
Corpus ID: 119164088
The importance of quantum key distribution as a cryptographic method depends upon its purported strong security guarantee. The…
Expand
2008
2008
Graph Algorithms for Improving Type-Logical Proof Search
R. Moot
arXiv.org
2008
Corpus ID: 2387972
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis…
Expand
2005
2005
How to Apply the Proof Standard of“Social Danger”
Wang Zhan-zhou
2005
Corpus ID: 148047970
During criminal procedure, the degree of social danger is a main basis for deprivation of freedom or restraint of liberty…
Expand
2004
2004
Philosophical Argumentation: Logic and Rhetoric
Shai Frogel
2004
Corpus ID: 144976641
The subject of the present paper is a specific type of argumentation, namely philosophical argumentation. Nevertheless, I believe…
Expand
2001
2001
A specification logic for dynamic composition of services
S. Lämmermann
,
E. Tyugu
Proceedings 21st International Conference on…
2001
Corpus ID: 6539007
We focus on a composition model for services, which are composed of pre-programmed service components represented as Java classes…
Expand
1999
1999
The meaning of 'counterfactual' statements and non-locality in quantum mechanics
T. Choy
,
D. Ziegeler
1999
Corpus ID: 117539481
Recent discussions by Mermin [1] and Stapp [2] in this journal on non-locality and counterfactuality are shown to contain…
Expand
Review
1999
Review
1999
Ijtihad in Twelver Shi-ism : the interpretation and application of Islamic law in the context of changing Muslim society
Tabatabaei Lotfi
,
Esmat al-Sadat
1999
Corpus ID: 141836842
The purpose of the thesis is to investigate whether Islamic laws, without relaxing the nature of the Shari 'a, could be expanded…
Expand
1988
1988
The Success of Failure The concept of failure in dialogue logics and its relevance for NL-semantics
J. Hoepelman
,
A. V. Hoof
International Conference on Computational…
1988
Corpus ID: 17119953
In this paper we present a new interpretation of failure, a concept to which a lot of attention is being paid in the field of…
Expand