Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations

Broader (2)

Automated theorem provingComputational complexity theory
Formal proofFormal systemProblem solvingProof complexity

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
On amenability of constraint satisfaction problems
Recent results show that a constraint satisfaction problem (CSP) defined over rational numbers with their natural ordering has a… 
2019
2019
The Syntax of Disjunctive Propositional Logic and Algebraic L-domains
Based on the investigation of the proof system of a disjunctive propositional logic introduced by Yi-xiang Chen and Achim Jung… 
2016
2016
Logical and inequality-based contextuality for qudits
In this work we present a generalization of the recently developed Hardy-like logical proof of contextuality and of the so-called… 
2015
2015
On Kolmogorov–Gödel–type Interpretations of Classical Logic
The size of a lambda term’s type assignment is traditionally interpreted as the number of involved typing rules, since that… 
2007
2007
A new approach for finding the determinant of matrices
2005
2005
On uniform proof-theoretical operational semantics for logic programming
We study a general proof-theoretic framework for logic programming, the so-called uniform proofs. We consider several logic… 
2004
2004
Processing of Logical Expressions for Visually Impaired Users
Although there are many voice systems that can act as user interfaces for visually impaired people, there is still a problem with… 
2000
2000
Dynamic Service Composition
In this paper we focus on a composition model of services, which are composed from pre-programmed components represented as Java… 
1998
1998
Elementary engineering mechanics applications of the OTTER automated reasoning system
Το διάσημο πρόγραμμα αυτoματοποιημένης συλλογιστικής (ή αυτοματοποιημένης eξαγωγής συμπeρασμάτων) OTTER του McCune, που βασίζe… 
1997
1997
Probabilistic verification of a synchronous round-based consensus protocol
Consensus protocols are used in a variety of reliable distributed systems, including both safety-critical and business-critical… 
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)