Boolean dependence logic and partially-ordered connectives

J Ebbing; L Hella; P Lohmann; J Virtema

doi:10.1016/j.jcss.2017.03.009

Boolean dependence logic and partially-ordered connectives

J Ebbing
, L Hella
, P Lohmann
, J Virtema

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

2 Citations (Scopus)

Original language	English
Pages (from-to)	103-125
Journal	Journal of Computer and System Sciences
Volume	88
DOIs	https://doi.org/10.1016/j.jcss.2017.03.009
Publication status	Published - 2017
Publication type	A1 Journal article-refereed

Keywords

Dependence logic
Existential second-order logic
Expressivity
Partially-ordered connectives

Publication forum classification

Publication forum level 3

Access to Document

10.1016/j.jcss.2017.03.009

http://urn.fi/URN:NBN:fi:tuni-201909173334

Cite this

@article{0c8da3e0ba2c4e4fa14f4ffddf4cdc58,

title = "Boolean dependence logic and partially-ordered connectives",

keywords = "Dependence logic, Existential second-order logic, Expressivity, Partially-ordered connectives, Dependence logic, Existential second-order logic, Expressivity, Partially-ordered connectives",

author = "J Ebbing and L Hella and P Lohmann and J Virtema",

year = "2017",

doi = "10.1016/j.jcss.2017.03.009",

language = "English",

volume = "88",

pages = "103--125",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press",

}

TY - JOUR

T1 - Boolean dependence logic and partially-ordered connectives

AU - Ebbing, J

AU - Hella, L

AU - Lohmann, P

AU - Virtema, J

PY - 2017

Y1 - 2017

KW - Dependence logic

KW - Existential second-order logic

KW - Expressivity

KW - Partially-ordered connectives

KW - Dependence logic

KW - Existential second-order logic

KW - Expressivity

KW - Partially-ordered connectives

U2 - 10.1016/j.jcss.2017.03.009

DO - 10.1016/j.jcss.2017.03.009

M3 - Article

SN - 0022-0000

VL - 88

SP - 103

EP - 125

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

ER -