Logic, Language, and Reasoning: Essays in Honour of Dov GabbayPreface. `I am a logic'; D. Gabbay. Research Themes of Dov Gabbay. Proofs, Labels and Dynamics in Natural Language; J. van Benthem. What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers; H. Kamp. Imperative History: Two-dimensional Executable Temporal Logic; M. Finger, M. Reynolds. Diagrammatic Reasoning in Projective Geometry; P. Balbiani, L.F. del Cerro. On Sentences of the Kind `Sentence `p' is About Topic t'; R. Demolombe, A.J.I. Jones. Two Traditions in the Logic of Belief: Bringing them Together; K. Segerberg. Elimination of Predicate Quantifiers; A. Nonnengart, et al. Labelled Natural Deduction; R.J.G.B. de Queiroz, D.M. Gabby. A General Reasoning Scheme for Underspecified Representations; E. König, U. Reyle. Deductive Systems and Categories in Linguistics; J. Lambek. Towards a Procedural Model of Natural-language Interpretation Crossover: A Case Study; R. Kempson. Transformation Methods in LDS; K. Broda, et al. Labelled Deduction in the Composition of Form and Meaning; M. Moortgat. Formalisms for Non-formal Languages; J.M. Moravcsik. Names Index. Index. |
Contents
I am a logic | 1 |
Research Themes of Dov Gabbay | 13 |
Proofs Labels and Dynamics in Natural Language | 31 |
Copyright | |
14 other sections not shown
Other editions - View all
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay Hans Jürgen Ohlbach,U. Reyle Limited preview - 2012 |
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay Hans Jürgen Ohlbach,Uwe Reyle No preview available - 2012 |
Common terms and phrases
algebra algorithm analysis application assumption atomic axiom Benthem categorial classical clause Computer Science connectives consequence relation constraints constructed context corresponding defined definition denotation derivation disambiguation disjunction domain Dov Gabbay doxastic editors elements equivalent example expressions finite first-order formal free variables Frege fs(p functional calculus functional interpretation Gabbay Gentzen given goal grammar implication introduction rules intuitionistic Joachim Lambek Kempson Labelled Deductive Systems Lambek Lambek calculus Lemma lexical linear logic Linguistics LKE-tree Logic Programming logical calculus logical system mathematics matrix of incidence meaning meta-variable modal logic Modus Ponens monoid natural deduction natural language notion Ohlbach operator predicate premise projected projective geometry pronoun proof theory properties propositional equality quantifier reasoning representation restriction semantics sentence sequence sequent calculus step structural rules substructural logics symbols syntactic temporal database temporal logic theorem tion topic ts(p two-dimensional underspecified verb weak crossover