proof system

English

Noun

proof system (plural proof systems)

  1. (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Translations

Translations
This page is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.