NDLI: From IF to BI : A tale of dependence and separation

Content Provider	Springer Nature Link
Author	Abramsky, Samson Väänänen, Jouko
Copyright Year	2008
Abstract	We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle.
Starting Page	207
Ending Page	230
Page Count	24
File Format	PDF
ISSN	00397857
Journal	Synthese
Volume Number	167
Issue Number	2
e-ISSN	15730964
Language	English
Publisher	Springer Netherlands
Publisher Date	2008-10-22
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Independence-friendly logic Dependence logic Branching quantifiers Logic of bunched implications Functional dependence Full abstraction Tarski semantics Team semantics Quantifiers as adjoints Metaphysics Philosophy of Language Logic Epistemology Computer Science Philosophy of Science
Content Type	Text
Resource Type	Article
Subject	Philosophy Social Sciences

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Generalized Quantifiers in Dependence Logic

Modelling simultaneous games in dynamic logic

Exploring the beta quadrant

A Double Team Semantics for Generalized Quantifiers

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic

On Definability in Dependence Logic

A Double Team Semantics for Generalized Quantifiers

Carnapian and Tarskian semantics

How to Lewis a Kripke–Hintikka

From IF to BI : A tale of dependence and separation

Similar Documents

Generalized Quantifiers in Dependence Logic

Modelling simultaneous games in dynamic logic

Exploring the beta quadrant

A Double Team Semantics for Generalized Quantifiers

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic

On Definability in Dependence Logic

A Double Team Semantics for Generalized Quantifiers

Carnapian and Tarskian semantics

How to Lewis a Kripke–Hintikka

From IF to BI : A tale of dependence and separation