|
Showing 1 - 6 of
6 matches in All Departments
This collection of papers, celebrating the contributions of Swedish
logician Dag Prawitz to Proof Theory, has been assembled from those
presented at the Natural Deduction conference organized in Rio de
Janeiro to honour his  seminal  research. Dag
Prawitz’s work forms the basis of intuitionistic type theory and
his inversion principle constitutes the foundation of most modern
accounts of proof-theoretic semantics in Logic, Linguistics
and Theoretical Computer Science. The range of contributions
includes material on the extension of natural deduction with
higher-order rules, as opposed to higher-order connectives, and a
paper discussing the application of natural deduction rules to
dealing with equality in predicate calculus. The volume continues
with a key chapter summarizing work on the extension of the
Curry-Howard isomorphism (itself a by-product of the work on
natural deduction), via methods of category theory that have been
successfully applied to linear logic, as well as many other
contributions from highly regarded authorities. With an illustrious
group of contributors addressing a wealth of topics and
applications, this volume is a valuable addition to the libraries
of academics in the multiple disciplines whose development has been
given added scope by the methodologies supplied by natural
deduction. The volume is representative of the rich and varied
directions that Prawitz work has inspired in the area of natural
deduction.
This collection of papers, celebrating the contributions of
Swedish logician Dag Prawitz to Proof Theory, has been assembled
from those presented at the Natural Deduction conference organized
in Rio de Janeiro to honour his seminal research. Dag Prawitz's
work forms the basis of intuitionistic type theory and his
inversion principle constitutes the foundation of most modern
accounts of proof-theoretic semantics in Logic, Linguistics and
Theoretical Computer Science.
The range of contributions includes material on the extension of
natural deduction with higher-order rules, as opposed to
higher-order connectives, and a paper discussing the application of
natural deduction rules to dealing with equality in predicate
calculus. The volume continues with a key chapter summarizing work
on the extension of the Curry-Howard isomorphism (itself a
by-product of the work on natural deduction), via methods of
category theory that have been successfully applied to linear
logic, as well as many other contributions from highly regarded
authorities. With an illustrious group of contributors addressing a
wealth of topics and applications, this volume is a valuable
addition to the libraries of academics in the multiple disciplines
whose development has been given added scope by the methodologies
supplied by natural deduction. The volume is representative of the
rich and varied directions that Prawitz work has inspired in the
area of natural deduction.
"
|
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Paperback, 2015 ed.)
Valeria de Paiva, Ruy De Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira
|
R1,302
Discovery Miles 13 020
|
Ships in 10 - 15 working days
|
Edited in collaboration with FoLLI, the Association of Logic,
Language and Information this book constitutes the refereed
proceedings of the 22nd Workshop on Logic, Language, Information
and Computation, WoLLIC 2015, held in the campus of Indiana
University, Bloomington, IN, USA in July 2015. The 14 contributed
papers, presented together with 8 invited lectures and 4 tutorials,
were carefully reviewed and selected from 44 submissions. The focus
of the workshop was on interdisciplinary research involving formal
logic, computing and programming theory, and natural language and
reasoning.
The lexicon is now a major focus of research in computational
linguistics and natural language processing (NLP), as more
linguistic theories concentrate on the lexicon and as the
acquisition of an adequate vocabulary has become the chief
bottleneck in developing practical NLP systems. This collection
describes techniques of lexical representation within a
unification-based framework and their linguistic application,
concentrating on the issue of structuring the lexicon using
inheritance and defaults. Topics covered include typed feature
structures, default unification, lexical rules, multiple
inheritance and non-monotonic reasoning. The contributions describe
both theoretical results and implemented languages and systems,
including DATR, the Stuttgart TFS and ISSCO's ELU. This book arose
out of a workshop on default inheritance in the lexicon organized
as a part of the Esprit ACQUILEX project on computational
lexicography. Besides the contributed papers mentioned above, it
contains a detailed description of the ACQUILEX lexical knowledge
base (LKB) system and its use in the representation of lexicons
extracted semi-automatically from machine-readable dictionaries.
The lexicon is now a major focus of research in computational
linguistics and natural language processing (NLP), as more
linguistic theories concentrate on the lexicon and as the
acquisition of an adequate vocabulary has become the chief
bottleneck in developing practical NLP systems. This collection
describes techniques of lexical representation within a
unification-based framework and their linguistic application,
concentrating on the issue of structuring the lexicon using
inheritance and defaults. Topics covered include typed feature
structures, default unification, lexical rules, multiple
inheritance and non-monotonic reasoning. The contributions describe
both theoretical results and implemented languages and systems,
including DATR, the Stuttgart TFS and ISSCO's ELU. This book arose
out of a workshop on default inheritance in the lexicon organized
as a part of the Esprit ACQUILEX project on computational
lexicography. Besides the contributed papers mentioned above, it
contains a detailed description of the ACQUILEX lexical knowledge
base (LKB) system and its use in the representation of lexicons
extracted semi-automatically from machine-readable dictionaries.
|
You may like...
LSD
Labrinth, Sia, …
CD
R213
R71
Discovery Miles 710
Aladdin
Robin Williams, Scott Weinger, …
Blu-ray disc
R206
Discovery Miles 2 060
|