proof system
proof system · proof systems
Beweissystem
A set of axioms and a set of inference rules which are jointly used to deduce…A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Meaning
1 sensesA set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Beweissystem
Translations
2 languagesDeutsch
By meaning 1
Translations:
Forms
plural: proof systems| Singular | proof system |
|---|---|
| Plural | proof systems |
regular