Frege system
id:
frege-system-180-3434120
title:
Frege system
text:
In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems are named after Gottlob Frege. The name "Frege system" was first defined by Stephen Cook and Robert Reckhow, and was intended to capture the properties of the most common propositional proof systems.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Frege_system
date created:
2010-06-22T09:32:17Z
date modified:
2024-09-05T06:44:01Z
main entity:
{"identifier":"Q5501318","url":"https://www.wikidata.org/entity/Q5501318"}
image:
fields total:
13
integrity:
14