Searching for "Proof by Consistency." – sorted by Relevance.
2,029 documents found, showing 1 through 10.
Next 10 →
-
On the Connection between Narrowing and Proof by Consistency
- …On the Connection between Narrowing and Proof by Consistency Olav Lysne Department of…
- Cited by 3 (2 self) – Add To MetaCart
-
Proof by Consistency - A Literature Survey
- …Inductionless Induction (aka Implicit Induction or Proof by Consistency): A Literature Survey…
- Add To MetaCart
-
Proof by Consistency in Constructive Systems with Final Algebra Semantics
- …Proof by Consistency in Constructive Systems with Final Algebra Semantics Olav Lysne Department…
- Cited by 5 (3 self) – Add To MetaCart
-
Extending Bachmair's Method for Proof by Consistency to the Final Algebra
- …Extending Bachmair’s Method for Proof by Consistency to the Final Algebra Olav Lysne, Department…
- Cited by 4 (1 self) – Add To MetaCart
-
On the Lengths of Proofs of Consistency - a Survey of Results
- …On the lengths of proofs of consistency a survey of results Pavel Pudl'ak Mathematical Institute…
- Add To MetaCart
-
A Proof of the Consistency of the Finite Difference Technique on Sparse Grids
- …A Proof of the Consistency of the Finite Difference Technique on Sparse Grids Frank Koster, Bonn…
- Cited by 1 (1 self) – Add To MetaCart
-
Efficient Consistency Proofs for Generalized Queries on Committed Database
- …Efficient Consistency Proofs for Generalized Queries on a Committed Database # Rafail Ostrovsky 1…
- Cited by 9 (1 self) – Add To MetaCart
-
PROPOSITIONAL PROOF SYSTEMS, THE CONSISTENCY OF FIRST ORDER THEORIES AND THE COMPLEXITY
- … to it is equivalent to the existence of a theory T in which alt Cons(~), for any S consistent, have short proofs…
- Add To MetaCart
-
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
- …The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program Richard Zach…
- Cited by 1 (1 self) – Add To MetaCart
-
Efficient Consistency Proofs on a Committed Database
- …Efficient Consistency Proofs on a Committed Database Rafail Ostrovsky ∗ Charles Rackoff † Adam…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
