1995, ISBN: 0792334329

[EAN: 9780792334323], Gebraucht, guter Zustand, [PU: Kluwer Academic], ABSTRACTION ALLOCATION ANAPHORA ANSWER SUBSTITUTION ANTECEDENT APPROPRIATENESS ASPECT ASSOCIATIVITY AUTOMATON MATCHI… Meer...

[EAN: 9780792334323], Gebraucht, guter Zustand, [PU: Kluwer Academic], ABSTRACTION ALLOCATION ANAPHORA ANSWER SUBSTITUTION ANTECEDENT APPROPRIATENESS ASPECT ASSOCIATIVITY AUTOMATON MATCHING BETH PROPERTY BOOLEAN ALGEBRA CATEGORY COMPOSITIONALITY CONFIGURATION CONSTRAINT CONTEXT CHANGE DEPENDENCY FREE DEDUCTIVE REASONING DEFINABILITY DEMONSTRATIVE DERIVATION DESCRIPTION DISCOURSE REPRESENTATION STRUCTURE THEORY DISJUNCTION DYNAMIC CONTENT PREDICATE LOGIC PROCEDURE CALL SEMANTICS EMBEDDING GROUND EQUIVALENCE ERROR ABORTION EULER'S CIRCLE EVENT EXPRESSIVENESS FALSITY FLOATING TYPES FRAME FUNCTION COMPOSITION GRAPHICAL ALGORITHM INC PROPERTIES INCONSISTENCY INCREMENTAL INCREMENTALITY INFERENCE INTERVAL LAMBEK CALCULUS LEXICAL INFORMATION FINITE MATHEMATICAL MODELS MINIMAL MODAL NARRATIVE NON TERMINAL TERM WELLFOUNDEDNESS NP SUBSCRIPT PARSE TREE PARTIALITY PREPROPOSITION PRESUPPOSITION PTYPE QUANTIFICATION RESTRICTION SELF REFERENCE SEMANTIC TYPE SEQUENT SIGNATURE SITUATION SLOPPY READING STATIC STRICT AMBIGUITY SUBSTRUCTURAL SYNTACTIC RULES TABULAR TARSKI'S TRUTH TEACHING TENSE TURING MACHINE FREENESS UNDECIDABILITY UNIQUENESS UNIVERSE VARIABLES LOCAL VPE WISE MAN PUZZLE, Philosophy|Logic, Language Arts & Disciplines|Linguistics, Language Arts & Disciplines|Grammar, Mathematics|Logic, Computers & the Internet|Artificial Intelligence, Language Arts & Disciplines|General, Language Arts & Disciplines|Semantics, Jacket, Hardcover, viii + 392 pages, NOT ex-library. Missing the title page. Interior is clean and bright throughout, with unmarked text, free of inscriptions and stamps, firmly bound. Boards show small indentations to edges. Untorn dust jacket with dark shelfworn and dusty marks, moderate creasing along the edges, a bit of rubbing to upper spine and edges. -- Contents: Preface; Pragmatic Reasoning: A Model-Based Theory / John Bell; Verb-Phrase Ellipsis in Dynamic Semantics / Jan van Eijck & Nissim Francez; Optimization of Deduction for Multi-Modal Logics / Olivier Gasquet; Are Types Needed for Natural Language? / Fairouz Kamareddine; Indexical Dynamics / Ian Lewin; Implicit and Explicit Definability in Modal and Temporal Logics / Larisa Maksimova; Evolving Algebras and Mathematical Models of Language / ‪Lawrence S. Moss & David E. Johnson; Information States in Situation Theory / Laszlo Polos & Michael Masuch; Logic Finite Automata / Klaus U. Schulz & Dov Gabbay; Dynamic Aspect Trees / Jerry Seligman & Alice ter Meulen; Logic as a Foundation for a Cognitive Theory of Modality Assignment / Keith Stenning; Meeting a Modality? Restricted Permutation for the Lambek Calculus / Yde Venema; Update Semantics for Propositional Texts / Cees Vermeulen; Index -- Nowadays, the term 'applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguist, Books<

1995, ISBN: 0792334329

[EAN: 9780792334323], Used, good, [PU: Kluwer Academic], ABSTRACTION ALLOCATION ANAPHORA ANSWER SUBSTITUTION ANTECEDENT APPROPRIATENESS ASPECT ASSOCIATIVITY AUTOMATON MATCHING BETH PROPER… Meer...

[EAN: 9780792334323], Used, good, [PU: Kluwer Academic], ABSTRACTION ALLOCATION ANAPHORA ANSWER SUBSTITUTION ANTECEDENT APPROPRIATENESS ASPECT ASSOCIATIVITY AUTOMATON MATCHING BETH PROPERTY BOOLEAN ALGEBRA CATEGORY COMPOSITIONALITY CONFIGURATION CONSTRAINT CONTEXT CHANGE DEPENDENCY FREE DEDUCTIVE REASONING DEFINABILITY DEMONSTRATIVE DERIVATION DESCRIPTION DISCOURSE REPRESENTATION STRUCTURE THEORY DISJUNCTION DYNAMIC CONTENT PREDICATE LOGIC PROCEDURE CALL SEMANTICS EMBEDDING GROUND EQUIVALENCE ERROR ABORTION EULER'S CIRCLE EVENT EXPRESSIVENESS FALSITY FLOATING TYPES FRAME FUNCTION COMPOSITION GRAPHICAL ALGORITHM INC PROPERTIES INCONSISTENCY INCREMENTAL INCREMENTALITY INFERENCE INTERVAL LAMBEK CALCULUS LEXICAL INFORMATION FINITE MATHEMATICAL MODELS MINIMAL MODAL NARRATIVE NON TERMINAL TERM WELLFOUNDEDNESS NP SUBSCRIPT PARSE TREE PARTIALITY PREPROPOSITION PRESUPPOSITION PTYPE QUANTIFICATION RESTRICTION SELF REFERENCE SEMANTIC TYPE SEQUENT SIGNATURE SITUATION SLOPPY READING STATIC STRICT AMBIGUITY SUBSTRUCTURAL SYNTACTIC RULES TABULAR TARSKI'S TRUTH TEACHING TENSE TURING MACHINE FREENESS UNDECIDABILITY UNIQUENESS UNIVERSE VARIABLES LOCAL VPE WISE MAN PUZZLE, Philosophy|Logic, Language Arts & Disciplines|Linguistics, Language Arts & Disciplines|Grammar, Mathematics|Logic, Computers & the Internet|Artificial Intelligence, Language Arts & Disciplines|General, Language Arts & Disciplines|Semantics, Jacket, Hardcover, viii + 392 pages, NOT ex-library. Missing the title page. Interior is clean and bright throughout, with unmarked text, free of inscriptions and stamps, firmly bound. Boards show small indentations to edges. Untorn dust jacket with dark shelfworn and dusty marks, moderate creasing along the edges, a bit of rubbing to upper spine and edges. -- Contents: Preface; Pragmatic Reasoning: A Model-Based Theory / John Bell; Verb-Phrase Ellipsis in Dynamic Semantics / Jan van Eijck & Nissim Francez; Optimization of Deduction for Multi-Modal Logics / Olivier Gasquet; Are Types Needed for Natural Language? / Fairouz Kamareddine; Indexical Dynamics / Ian Lewin; Implicit and Explicit Definability in Modal and Temporal Logics / Larisa Maksimova; Evolving Algebras and Mathematical Models of Language / ‪Lawrence S. Moss & David E. Johnson; Information States in Situation Theory / Laszlo Polos & Michael Masuch; Logic Finite Automata / Klaus U. Schulz & Dov Gabbay; Dynamic Aspect Trees / Jerry Seligman & Alice ter Meulen; Logic as a Foundation for a Cognitive Theory of Modality Assignment / Keith Stenning; Meeting a Modality? Restricted Permutation for the Lambek Calculus / Yde Venema; Update Semantics for Propositional Texts / Cees Vermeulen; Index -- Nowadays, the term 'applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguist, Books<

1995, ISBN: 9780792334323

Springer, 1995-03-31. Hardcover. Used: Good., Springer, 1995-03-31, 2.5