proof theory

Also found in: Dictionary/thesaurus, Wikipedia

0.01 sec.

(logic)

proof theory - The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			The field of proof theory studies formal proofs and their properties. Possibility of Proof for the Existence of God by franklyn fernando / Philosophy and religion community Although his methods, rules and structures have lead to verification programs essential to computer science, and his work on natural deduction, the sequent calculus and ordinal proof theory are still considered advanced, his life eventually ran contrary to the passions of his nation. Logic's lost genius; the life of Gerhard Gentzen by SciTech Book News Kevin joins JupiterResearch from Proof Theory, an online advertising and search marketing consulting firm. JupiterResearch Augments Search, Mobile Marketing and Broadband ... by Business Wire			Pronet prong prong reef pronghorn Pronia Pronoia pronormoblast Pronoun Pronsk Pronucleus Pronunciamento pronunciation prony brake Proof proof by contradiction proof by descent proof firing proof load proof mark proof of concept proof plane Proof Press proof resilience proof spirit proof stress proof theory proof total PROOF/L proofread Proofreading Prop prop root prop-crib timbering prop-free prop-free front propadiene propaedeutic stratigraphy Propaganda Propaganda Film Propaganda Theater Propaganda, Monument Propagandist propagated blast propagated error propagation propagation anomaly Propagation By Cuttings propagation constant propagation delay propagation forecasting propagation loss			Proof of Value Proof of Wallis product proof plane Proof Press Proof reader Proof reader Proof reading Proof reading Proof reading proof reading site Proof Requirement Proof Requirement proof resilience Proof Setup File proof sheet proof sheets proof spirit proof spirit Proof staff Proof stick Proof stress Proof stress Proof stress Proof techniques Proof test Proof Test Model Proof text Proof That the Youth Are Revolting Proof theorist Proof theorist proof theory proof to sue for slander proof total Proof Tracking Index Proof Verification System Proof-arm Proof-Like Proof-of-concept Proof-Of-Concept Aerospace Defense Location Proof-Of-Concept Rotary Fluid Coupler Proof-Of-Passing Certificate Proof-of-payment Proof-proof Proof-read Proof-read Proof-theoretic Proof-theoretic PROOF/L proofed proofed proofed proofed proofed proofer proofer proofer proofer proofer proofing proofing proofing

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.