|
Showing 1 - 5 of
5 matches in All Departments
In this volume, different aspects of logics for dependence and
independence are discussed, including both the logical and
computational aspects of dependence logic, and also applications in
a number of areas, such as statistics, social choice theory,
databases, and computer security. The contributing authors
represent leading experts in this relatively new field, each of
whom was invited to write a chapter based on talks given at
seminars held at the Schloss Dagstuhl Leibniz Center for
Informatics in Wadern, Germany (in February 2013 and June 2015) and
an Academy Colloquium at the Royal Netherlands Academy of Arts and
Sciences (March 2014). Altogether, these chapters provide the most
up-to-date look at this developing and highly interdisciplinary
field and will be of interest to a broad group of logicians,
mathematicians, statisticians, philosophers, and scientists. Topics
covered include a comprehensive survey of many propositional,
modal, and first-order variants of dependence logic; new results
concerning expressive power of several variants of dependence logic
with different sets of logical connectives and generalized
dependence atoms; connections between inclusion logic and the
least-fixed point logic; an overview of dependencies in databases
by addressing the relationships between implication problems for
fragments of statistical conditional independencies, embedded
multivalued dependencies, and propositional logic; various
Markovian models used to characterize dependencies and causality
among variables in multivariate systems; applications of dependence
logic in social choice theory; and an introduction to the theory of
secret sharing, pointing out connections to dependence and
independence logic.
In this volume, different aspects of logics for dependence and
independence are discussed, including both the logical and
computational aspects of dependence logic, and also applications in
a number of areas, such as statistics, social choice theory,
databases, and computer security. The contributing authors
represent leading experts in this relatively new field, each of
whom was invited to write a chapter based on talks given at
seminars held at the Schloss Dagstuhl Leibniz Center for
Informatics in Wadern, Germany (in February 2013 and June 2015) and
an Academy Colloquium at the Royal Netherlands Academy of Arts and
Sciences (March 2014). Altogether, these chapters provide the most
up-to-date look at this developing and highly interdisciplinary
field and will be of interest to a broad group of logicians,
mathematicians, statisticians, philosophers, and scientists. Topics
covered include a comprehensive survey of many propositional,
modal, and first-order variants of dependence logic; new results
concerning expressive power of several variants of dependence logic
with different sets of logical connectives and generalized
dependence atoms; connections between inclusion logic and the
least-fixed point logic; an overview of dependencies in databases
by addressing the relationships between implication problems for
fragments of statistical conditional independencies, embedded
multivalued dependencies, and propositional logic; various
Markovian models used to characterize dependencies and causality
among variables in multivariate systems; applications of dependence
logic in social choice theory; and an introduction to the theory of
secret sharing, pointing out connections to dependence and
independence logic.
This book constitutes the refereed proceedings of the 5th
International Conference on Typed Lambda Calculi and Applications,
TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full
papers presented were carefully reviewed and selected from 55
submissions. The volume reports research results on all current
aspects of typed lambda calculi. Among the topics addressed are
type systems, subtypes, coalgebraic methods, pi-calculus, recursive
games, various types of lambda calculi, reductions, substitutions,
normalization, linear logic, cut-elimination, prelogical relations,
and mu calculus.
|
Category Theory and Computer Science - Paris, France, September 3-6, 1991. Proceedings (Paperback, 1991 ed.)
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, …
|
R1,669
Discovery Miles 16 690
|
Ships in 10 - 15 working days
|
The papers in this volume were presented at the fourth biennial
Summer Conference on Category Theory and Computer Science, held in
Paris, September3-6, 1991. Category theory continues to be an
important tool in foundationalstudies in computer science. It has
been widely applied by logicians to get concise interpretations of
many logical concepts. Links between logic and computer science
have been developed now for over twenty years, notably via the
Curry-Howard isomorphism which identifies programs with proofs and
types with propositions. The triangle category theory - logic -
programming presents a rich world of interconnections. Topics
covered in this volume include the following. Type theory:
stratification of types and propositions can be discussed in a
categorical setting. Domain theory: synthetic domain theory
develops domain theory internally in the constructive universe of
the effective topos. Linear logic: the reconstruction of logic
based on propositions as resources leads to alternatives to
traditional syntaxes. The proceedings of the previous three
category theory conferences appear as Lecture Notes in Computer
Science Volumes 240, 283 and 389.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Morbius
Jared Leto, Matt Smith, …
DVD
R179
Discovery Miles 1 790
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|