Negation and partial axiomatizations of dependence and independence logic revisited

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiAnnals of Pure and Applied Logic
Vuosikerta170
Numero9
Sivut1128-1149
Sivumäärä22
ISSN0168-0072
DOI - pysyväislinkit
TilaJulkaistu - syyskuuta 2019
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

@article{9e465fcc68e54c9f8ee0844b4aa4de78,
title = "Negation and partial axiomatizations of dependence and independence logic revisited",
keywords = "Dependence logic, Team semantics, Negation, Existential second-order logic, TEAM SEMANTICS, INCLUSION, 111 Mathematics",
author = "Fan Yang",
year = "2019",
month = "9",
doi = "10.1016/j.apal.2019.04.010",
language = "English",
volume = "170",
pages = "1128--1149",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier Scientific Publ. Co",
number = "9",

}

Negation and partial axiomatizations of dependence and independence logic revisited. / Yang, Fan.

julkaisussa: Annals of Pure and Applied Logic, Vuosikerta 170, Nro 9, 09.2019, s. 1128-1149.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

TY - JOUR

T1 - Negation and partial axiomatizations of dependence and independence logic revisited

AU - Yang, Fan

PY - 2019/9

Y1 - 2019/9

KW - Dependence logic

KW - Team semantics

KW - Negation

KW - Existential second-order logic

KW - TEAM SEMANTICS

KW - INCLUSION

KW - 111 Mathematics

U2 - 10.1016/j.apal.2019.04.010

DO - 10.1016/j.apal.2019.04.010

M3 - Article

VL - 170

SP - 1128

EP - 1149

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 9

ER -