Suppes–Lemmon notation
id:
suppes-lemmon-notation-166-4920491
title:
Suppes–Lemmon notation
text:
Suppes–Lemmon notation is a natural deductive logic notation system developed by E.J. Lemmon. Derived from Suppes' method, it represents natural deduction proofs as sequences of justified steps. Both methods use inference rules derived from Gentzen's 1934/1935 natural deduction system, in which proofs were presented in tree-diagram form rather than in the tabular form of Suppes and Lemmon. Although the tree-diagram layout has advantages for philosophical and educational purposes, the tabular lay
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Suppes%E2%80%93Lemmon_notation
date created:
2010-03-15T08:30:36Z
date modified:
2024-08-29T19:22:32Z
main entity:
{"identifier":"Q7663659","url":"https://www.wikidata.org/entity/Q7663659"}
image:
fields total:
13
integrity:
14