Models for the substitution axiom of UNITY logic

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

Original language	English
Pages (from-to)	171-176
Number of pages	6
Journal	Information Processing Letters
Volume	48
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(93)90141-U
Publication status	Published - 1 Jan 1993

Access to Document

@article{17fe63656f86468bae7e2f5d42e3a931,

title = "Models for the substitution axiom of UNITY logic",

author = "G. Reichwein and J.L. Fiadeiro",

year = "1993",

month = jan,

day = "1",

doi = "10.1016/0020-0190(93)90141-U",

language = "English",

volume = "48",

pages = "171--176",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - Models for the substitution axiom of UNITY logic

AU - Reichwein, G.

AU - Fiadeiro, J.L.

PY - 1993/1/1

Y1 - 1993/1/1

UR - http://www.scopus.com/inward/record.url?scp=0027697895&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(93)90141-U

DO - 10.1016/0020-0190(93)90141-U

M3 - Article

AN - SCOPUS:0027697895

SN - 0020-0190

VL - 48

SP - 171

EP - 176

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -