From IF to BI: a tale of dependence and separation

Samson Abramsky; Jouko Väänänen

doi:10.1007/s11229-008-9415-6

From IF to BI: a tale of dependence and separation

Avdelningen för matematik och statistik

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Synthese
Volym	167
Sidor (från-till)	207-230
Antal sidor	24
ISSN	0039-7857
DOI	https://doi.org/10.1007/s11229-008-9415-6
Status	Publicerad - 2009
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Vetenskapsgrenar

111 Matematik

Åtkomst av dokument

10.1007/s11229-008-9415-6

Citera det här

@article{e48460180aaa42589b48481314324cd0,

title = "From IF to BI: a tale of dependence and separation",

keywords = "Independence-friendly logic, Dependence logic, Branching quantifiers, Logic of bunched implications, Functional dependence, Full abstraction, Tarski semantics, Team semantics, Quantifiers as adjoints, LINEAR LOGIC, SEMANTICS, 111 Mathematics",

author = "Samson Abramsky and Jouko V{\"a}{\"a}n{\"a}nen",

year = "2009",

doi = "10.1007/s11229-008-9415-6",

language = "English",

volume = "167",

pages = "207--230",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer",

}

TY - JOUR

T1 - From IF to BI

T2 - a tale of dependence and separation

AU - Abramsky, Samson

AU - Väänänen, Jouko

PY - 2009

Y1 - 2009

KW - Independence-friendly logic

KW - Dependence logic

KW - Branching quantifiers

KW - Logic of bunched implications

KW - Functional dependence

KW - Full abstraction

KW - Tarski semantics

KW - Team semantics

KW - Quantifiers as adjoints

KW - LINEAR LOGIC

KW - SEMANTICS

KW - 111 Mathematics

U2 - 10.1007/s11229-008-9415-6

DO - 10.1007/s11229-008-9415-6

M3 - Article

VL - 167

SP - 207

EP - 230

JO - Synthese

JF - Synthese

SN - 0039-7857

ER -