Sequent calculus in natural deduction style (Q4328835): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/2694976 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2165614850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of Gentzen's \textit{Hauptsatz} without multicut / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A natural extension of natural deduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The consistency of arithmetics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5623646 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:19, 4 June 2024
scientific article; zbMATH DE number 1735295
Language | Label | Description | Also known as |
---|---|---|---|
English | Sequent calculus in natural deduction style |
scientific article; zbMATH DE number 1735295 |
Statements
Sequent calculus in natural deduction style (English)
0 references
29 April 2002
0 references
cut elimination
0 references
sequent calculus
0 references
weakening
0 references
contraction
0 references
natural deduction
0 references