Axiomatizing first-order consequences in independence logic

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Annals of Pure and Applied Logic
Volym	166
Nummer	1
Sidor (från-till)	61-91
Antal sidor	31
ISSN	0168-0072
DOI	https://doi.org/10.1016/j.apal.2014.09.002
Status	Publicerad - jan. 2015
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Vetenskapsgrenar

@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 -