Programs and logics

Anita Wasilewska

doi:10.1007/BF00379762

Programs and logics

Anita Wasilewska

Computer Science

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

Abstract

We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.

Original language	English
Pages (from-to)	125-137
Number of pages	13
Journal	Studia Logica
Volume	44
Issue number	2
DOIs	https://doi.org/10.1007/BF00379762
State	Published - Jun 1985

Access to Document

10.1007/BF00379762

Cite this

@article{6352b8dbaa424221b343995490bfb374,

title = "Programs and logics",

abstract = "We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.",

author = "Anita Wasilewska",

year = "1985",

month = jun,

doi = "10.1007/BF00379762",

language = "English",

volume = "44",

pages = "125--137",

journal = "Studia Logica",

issn = "0039-3215",

number = "2",

}

TY - JOUR

T1 - Programs and logics

AU - Wasilewska, Anita

PY - 1985/6

Y1 - 1985/6

N2 - We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.

AB - We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.

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

U2 - 10.1007/BF00379762

DO - 10.1007/BF00379762

M3 - Article

AN - SCOPUS:34250120243

SN - 0039-3215

VL - 44

SP - 125

EP - 137

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -

Programs and logics

Abstract

Access to Document

Other files and links

Fingerprint

Cite this