Introducing equational type logic

Vicenzo Manca; Antonino Salibra; Giuseppe Scollo

doi:10.2307/2275092

Introducing equational type logic

Vicenzo Manca
, Antonino Salibra
, Giuseppe Scollo

Research output: Contribution to journal › Meeting Abstract › Academic

36 Downloads (Pure)

Original language	English
Pages (from-to)	1132-1132
Journal	Journal of symbolic logic
Volume	56
Issue number	3
DOIs	https://doi.org/10.2307/2275092
Publication status	Published - 1991
Event	European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 1990 - Helsinki, Finland Duration: 15 Jul 1990 → 22 Jul 1990

Access to Document

10.2307/2275092

AbstractFinal published version, 161 KB

Cite this

@article{10238d7a69d14a2888b11ce0667af80c,

title = "Introducing equational type logic",

author = "Vicenzo Manca and Antonino Salibra and Giuseppe Scollo",

year = "1991",

doi = "10.2307/2275092",

language = "English",

volume = "56",

pages = "1132--1132",

journal = "Journal of symbolic logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

note = "European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 1990, Logic Colloquium ; Conference date: 15-07-1990 Through 22-07-1990",

}

TY - JOUR

T1 - Introducing equational type logic

AU - Manca, Vicenzo

AU - Salibra, Antonino

AU - Scollo, Giuseppe

PY - 1991

Y1 - 1991

U2 - 10.2307/2275092

DO - 10.2307/2275092

M3 - Meeting Abstract

SN - 0022-4812

VL - 56

SP - 1132

EP - 1132

JO - Journal of symbolic logic

JF - Journal of symbolic logic

IS - 3

T2 - European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 1990

Y2 - 15 July 1990 through 22 July 1990

ER -