Axiomatizing first-order consequences in independence logic

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Lehti	Annals of Pure and Applied Logic
Vuosikerta	166
Numero	1
Sivut	61-91
Sivumäärä	31
ISSN	0168-0072
DOI - pysyväislinkit	https://doi.org/10.1016/j.apal.2014.09.002
Tila	Julkaistu - tammik. 2015
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

@article{089d02821b8f49068847a884141b6d10,

title = "Axiomatizing first-order consequences in independence logic",

keywords = "Axiomatization, Independence logic, DEPENDENCIES, SEMANTICS, MODELS, 111 Mathematics",

author = "Miika Hannula",

year = "2015",

month = jan,

doi = "10.1016/j.apal.2014.09.002",

language = "English",

volume = "166",

pages = "61--91",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Axiomatizing first-order consequences in independence logic

AU - Hannula, Miika

PY - 2015/1

Y1 - 2015/1

KW - Axiomatization

KW - Independence logic

KW - DEPENDENCIES

KW - SEMANTICS

KW - MODELS

KW - 111 Mathematics

U2 - 10.1016/j.apal.2014.09.002

DO - 10.1016/j.apal.2014.09.002

M3 - Article

SN - 0168-0072

VL - 166

SP - 61

EP - 91

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -