Sequent calculus
id:
sequent-calculus-179-18976115
title:
Sequent calculus
text:
In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology instead of an unconditional tautology. Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than David Hilbert's earlier style of formal logic, in which every line w
brand slug:
wiki
category slug:
encyclopedia
description:
Style of formal logical argumentation
original url:
https://en.wikipedia.org/wiki/Sequent_calculus
date created:
2003-06-24T19:44:35Z
date modified:
2024-09-05T06:43:49Z
main entity:
{"identifier":"Q1771121","url":"https://www.wikidata.org/entity/Q1771121"}
image:
fields total:
13
integrity:
15