A sequence formalization for SCI

Anita Wasilewska

doi:10.1007/BF02282483

A sequence formalization for SCI

Anita Wasilewska

Computer Science

Research output: Contribution to journal › Article › peer-review

10 Scopus citations

Abstract

This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

Original language	English
Pages (from-to)	213-217
Number of pages	5
Journal	Studia Logica
Volume	35
Issue number	3
DOIs	https://doi.org/10.1007/BF02282483
State	Published - Sep 1976

Access to Document

10.1007/BF02282483

Cite this

@article{d3c6174d146c4e0898ca3afc6d0dae51,

title = "A sequence formalization for SCI",

abstract = "This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].",

author = "Anita Wasilewska",

year = "1976",

month = sep,

doi = "10.1007/BF02282483",

language = "English",

volume = "35",

pages = "213--217",

journal = "Studia Logica",

issn = "0039-3215",

number = "3",

}

TY - JOUR

T1 - A sequence formalization for SCI

AU - Wasilewska, Anita

PY - 1976/9

Y1 - 1976/9

N2 - This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

AB - This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

UR - https://www.scopus.com/pages/publications/34250384665

U2 - 10.1007/BF02282483

DO - 10.1007/BF02282483

M3 - Article

AN - SCOPUS:34250384665

SN - 0039-3215

VL - 35

SP - 213

EP - 217

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

A sequence formalization for SCI

Abstract

Access to Document

Other files and links

Fingerprint

Cite this