Categorial Grammar. Algebra, Proof Theory, Applications. References Categorial Grammar, G. Morrill, OUP, 2011.
|
|
- Hector Thornton
- 5 years ago
- Views:
Transcription
1 Categorial Grammar Algebra, Proof Theory, Applications References Categorial Grammar, G. Morrill, OUP, The Logic of Categorial Grammars, R. Moot & Ch. Retore, Springer, FoLLI, Mehrnoosh Sadrzadeh Queen Mary University of London
2 History Panini s grammar of Sanskrit, 6th BC Ajdukiewicz s fraction calculus, 1935 Bar-Hillel s system AB, 1950 Lambek s Syntactic Calculus, 1958
3 History Ajdukiewicz s fraction calculus, 1935 basic types: names, sentences fractional types: adjectives, verbs A, B, B A one cancelation schemata: B A A => B Syntactic Connections: a string of words satisfy a syntactic connection if some ordering of types of words reduce to distinguished types.
4 History Bar-Hillel s system AB, 1950 basic types: name, sentences fractional types: adjectives, verbs A, B, B/A, A\B, two cancelation schematas B/A A => B A A\B => B
5 Example Type Assignment
6 Example Derivation
7 Example Type Assignment
8 Example Derivation
9 History Lambek s Syntactic Calculus, 1958 basic types: name, sentences implication types: adjectives, verbs A, B, A<-B, A->B, modus ponens: A<-B A => B A A->B => B
10 Philosophy Ajdukiewics and Semantics? Husserl and Russell s theory of types Lesniewski s semantic categories Frege s functorial anaysis of language Functor B/A function Argument Made precise for LC by van Benthem (1983) and Moortgat (1988).
11 Exercise (I) Derive the following sentences in Ajdukiewicz s non-directional fraction calculus: ``I set my bow. ``I have set my bow. Word I set my bow have Type N (S N) N N N N (N S) (N S)
12 Exercise (II) Derive the following sentences in Bar-Hillel s directional calculus: ``I set my bow. ``I have set my bow. Word I set my bow have Type N (N\S)/N N/N N (N\S)/(N\S)
13 Exercise (III) Derive the following sentences in Lambek s modus ponens calculus: ``I set my bow. ``I have set my bow. Word Type I N set? my? bow N have?
14 Categorial Grammar Lambek A categorial grammar is a finite relation R between the set of expressions of a language and a set of types. 2- Given a distinguished type S, the language of a categorial grammar is the set of strings s1 sn, for which there exists A1,, An, where (si, Ai) in R and we have: A1,, An => S
15 Proof System F ::= b F F F \ F F/F
16 Meta Theorems Cut Elimination. Lambek 1958 Efficient proof search Algorithms. Moot and Retore Interpolation. Roorda 1991 Equivalence to context free grammars. Pentus 1993
17 Algebra Dosen 1985 An interpretation for the Lambek Calculus with atomic var s B consists of a partially ordered semigroup P =(P,, apple) and a valuation h, defined as follows: b 2 B h(b) =# L L P h(a \ C) :={p 2 P 8p 0 2 h(a), p 0 p 2 h(c)} h(c/b) :={p 2 P 8p 0 2 h(b), p p 0 2 h(c)} h(a B) :={p 2 P 9p 1 2 h(a), 9p 2 2 h(b), p apple p 1 p 2 }
18 Validity A sequent A 1,, A n ` A is valid iff in every interpretation of the sequent calculus we have: h(a 1, A n ) h(a) where h(a 1,, A n ):=h(a 1 A n ) Proposition (Dosen, 1985) A sequent is derivable in the Lambek Calculus iff its interpretation is valid.
19 Algebra Buszkowski, 1986 An interpretation for the Lambek Calculus with atomic var s B consists of a semigroup and a valuation h, defined as before, except: b 2 B h(b) =L L P h(a B) :={p 1 p 2 2 P p 1 2 h(a), p 2 2 h(b)} Proposition A sequent is derivable in the Lambek Calculus iff its interpretation is valid.
20 Derived Properties
21 Linguistic Examples ``John loves Mary. Word John Mary Loves Type N N (N\S)/N
22 Exercise (IV) Show that LC is associate: A. (B.C) - (A.B). C Derive type-lifting in LC: A - B/(A\B) A - (B/A)\B)
23 Exercise (V) Use LC to derive: ``I set my bow. Word Type I, bow N my N/N set (N\S)/N
24 Associativity Word Hulk is green incredible Type N (N\S)/(N/N) N/N N/N Derive: ``Hulk is green. Derive: ``Hulk is incredible. Derive: ``Hulk is green incredible.
25 Non-Associative Calculus Formulae F ::= b (F F) (F \ F) (F/F) Antecedent Terms A ::= F (A, A) Ant terms with a hole Contexts C ::= [ ] (C, A) (A, C) Substitution subst([ ], ) := subst(, 0 [], ) := (,subst( 0 [], )) subst( [], 0, ) := (subst( [], ), 0 )
26 Non-Associative Calculus
27 Meta Theorems Cut Elimination. Lambek 1961, Kandulski 1988 Decidability. Polynomial proof search. De Groote 1999 Nested or tree or deep Calculi. Kashima 1994
28 Kripke Semantics An interpretation for the Non-Assoc. Lambek Calculus with atomic var s B is a Kripke model M = (W, R, V) for R a ternary relation and a valuation h, defined: h(b) =(M, w) iff w 2 V(b) h(a B) =(M, w) iff 9w 0, w 00 2 W, R(w, w 0, w 00 ) h(a) =(M, w 0 ), h(b) =(M, w 00 ) h(a \ B) =(M, w) iff 8w 0, w 00 2 W, R(w 00, w 0, w) h(a) =(M, w 0 ), h(b) =(M, w 00 ) h(a/b) =(M, w) iff 8w 0, w 00 2 W, R(w 00, w, w 0 ) h(a) =(M, w 0 ), h(b) =(M, w 00 )
29 Validity A sequent of non-assoc. Lambek calculus is valid iff it is true in all worlds of all Kripke models under all valuations. Proposition (Dosen, 1992) A sequent of non-assoc. Lambek Calculus is derivable iff it is valid.
30 Exercise (VI) Show how the following is not derivable in non-associative LC. (N/N). (N/N) - N/N Compare it with the corresponding derivation in LC, i.e. note where does the derivation fail. Show that ``Hulk is very green is derivable in non-assoc LC (take very to have type (N/N)/(N/N).
31 Multi-Modal LC The fundamental idea of multi-modal LC is that one uses different families of connectives, distinguished by means of indices or modes. Each family of connectives has its own structural rules. These apply to different modes the use of which depends where it is most advantageous. First done by - Oehrle and Zhang (1989) - Moortgat and Morrill (1991) What I will present: - Kurtonina and Moortgat (1996)
32 MMLC Formulae F ::= p 2 j F j F (F \ i F) (F/ i F) (F i F) Antecedent Terms A ::= F hai i (A, A) i
33 Logical Rules + axiom + cut
34 What is this Modal Logic? not S4 - T not K not S5
35 Multimodal Tense Logic Prior 1967 Adjunction i a2 i Future Possibility F Past Necessity H It will at some point be the case It has always been the case Kurtonina 1995, 1998
36 ternary Kripke Models binary Kurtonina and Moortgat 1997 M = (W, R, R j, V) h( j A)=(M, w) iff h(2 j A)=(M, w) iff 9w 0 2 W, R 0 j (w, w0 ), h(a) =(M, w 0 ) 8w 2 W, (R 0 j (w0, w) =) h(a) =(M, w 0 ))
37 Meta Theorems Cut Elimination. Moortgat 1996 PSPACE complete. Moot and Retore Interpolation?
38 Applications Linguistic Features, Heylen 1999 Quantifier Scope, Bernardini 2002 Pronouns, Moot and Retore 2006
39 Exercise (VII) Derive the adjunction property in MMLC And use it to analyse: <i>[i] F - F - [i]<i> F he likes Mary * her likes Mary * Mary likes he * Mary likes her Word he her Mary likes Type [n]<n>n [a]<a>n N ([n]<n> N \ S)/[a]<a>N
40 Applications Pronouns, Moot and Retore 2006 he likes Mary Derivable since 1- Mary has type N 2- N - [a]<a>n
41 Applications Pronouns, Moot and Retore 2006 Mary likes her Derivable since 1- Mary has type N 2- N - [n]<n>n
42 Applications Pronouns, Moot and Retore 2006 her likes Mary Underivable since 1- her has type [a]<a>n 2- [a]<a>n can only be object of likes
43 Structural Modal Rules Indices also allow us to reintroduce structural rules, albeit in an indexed way, applicable to certain modes.
44 Structural Modal Rules Indices also allow us to reintroduce structural rules, albeit in an indexed way, applicable to certain modes.
45 Applications Dutch verb clusters. Moortgat and Oehrle 1994 (dat) Marie Jan Plaagt (that) Marie Jan teases * (dat) Marie Jan wil Plagen * (that) Marie Jan wants to tease
46 MM Types Word Marie Jan wil plagen Type N N [1]((N\0 S)/4 Inf) [1](N\0 Inf)
47 Structural Rules K2 for index 0 K for indices 1 and 4 Inclusion from 0 to 1
48 Indices Combining Logics Index Rules n - a nc c Associativity Commutativity Associativity, Commutativity
49 Structural Rules
50 Structural Rules
51 Structural Rules
52 Remains to explore Semantics: van Benthem 1983, will discuss on Tue Proof Theory: Dyckhoff and Sadrzadeh, Adjoint modalities on positive logic base RSL 2010, Adjoint modalities on intuitionstic base, ToCL 2013 Applications: Intensionality
Meeting a Modality? Restricted Permutation for the Lambek Calculus. Yde Venema
Meeting a Modality? Restricted Permutation for the Lambek Calculus Yde Venema Abstract. This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof
More informationSubstructural Logics and Formal Linguistics: Back and Forth
TANCL 07 Oxford, August 5 9, 2007 1 Substructural Logics and Formal Linguistics: Back and Forth Wojciech Buszkowski Adam Mickiewicz University, Poznań University of Warmia and Mazury, Olsztyn Rovira i
More informationREPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES
Wojciech Buszkowski REPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES Professor Rasiowa [HR49] considers implication algebras (A,, V ) such that is a binary operation on the universe A and V A. In particular,
More informationOn relational interpretation of multi-modal categorial logics
Gerhard Jäger 1 On relational interpretation of multi-modal categorial logics Gerhard Jäger Gerhard.Jaeger@let.uu.nl Utrecht Institute of Linguistics (OTS) September 27, 2001 Gerhard Jäger 2 1 Outline
More informationLambek Grammars as Combinatory Categorial Grammars
Lambek Grammars as Combinatory Categorial Grammars GERHARD JÄGER, Zentrum für Allgemeine Sprachwissenschaft (ZAS), Jägerstr 10/11, 10117 Berlin, Germany E-mail: jaeger@zasgwz-berlinde Abstract We propose
More informationGrammatical resources: logic, structure and control
Grammatical resources: logic, structure and control Michael Moortgat & Dick Oehrle 1 Grammatical composition.................................. 5 1.1 Grammar logic: the vocabulary.......................
More informationOn rigid NL Lambek grammars inference from generalized functor-argument data
7 On rigid NL Lambek grammars inference from generalized functor-argument data Denis Béchet and Annie Foret Abstract This paper is concerned with the inference of categorial grammars, a context-free grammar
More informationThe Non-Associative Lambek Calculus
The Non-Associative Lambek Calculus Logic, Linguistic and Computational Properties Università degli Studi di Bologna Dottorato in Filosofia Tesi di Dottorato Settore disciplinare: M-FIL/02 LOGICA E FILOSOFIA
More informationScope Ambiguities through the Mirror
Scope Ambiguities through the Mirror Raffaella Bernardi In this paper we look at the interpretation of Quantifier Phrases from the perspective of Symmetric Categorial Grammar. We show how the apparent
More informationLambek calculus is NP-complete
Lambek calculus is NP-complete Mati Pentus May 12, 2003 Abstract We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L the derivability problem is NP-complete.
More informationThe Lambek-Grishin calculus for unary connectives
The Lambek-Grishin calculus for unary connectives Anna Chernilovskaya Utrecht Institute of Linguistics OTS, Utrecht University, the Netherlands anna.chernilovskaya@let.uu.nl Introduction In traditional
More informationCategorial Grammars and Substructural Logics
Categorial Grammars and Substructural Logics Wojciech Buszkowski Adam Mickiewicz University in Poznań University of Warmia and Mazury in Olsztyn 1 Introduction Substructural logics are formal logics whose
More informationLC Graphs for the Lambek calculus with product
LC Graphs for the Lambek calculus with product Timothy A D Fowler July 18, 2007 1 Introduction The Lambek calculus, introduced in Lambek (1958), is a categorial grammar having two variants which will be
More informationNatural Deduction for Propositional Logic
Natural Deduction for Propositional Logic Bow-Yaw Wang Institute of Information Science Academia Sinica, Taiwan September 10, 2018 Bow-Yaw Wang (Academia Sinica) Natural Deduction for Propositional Logic
More informationInducing syntactic cut-elimination for indexed nested sequents
Inducing syntactic cut-elimination for indexed nested sequents Revantha Ramanayake Technische Universität Wien (Austria) IJCAR 2016 June 28, 2016 Revantha Ramanayake (TU Wien) Inducing syntactic cut-elimination
More informationPregroups and their logics
University of Chieti May 6-7, 2005 1 Pregroups and their logics Wojciech Buszkowski Adam Mickiewicz University Poznań, Poland University of Chieti May 6-7, 2005 2 Kazimierz Ajdukiewicz (1890-1963) was
More informationLambek grammars based on pregroups
Lambek grammars based on pregroups Wojciech Buszkowski Faculty of Mathematics and Computer Science Adam Mickiewicz University Poznań Poland e-mail: buszko@amu.edu.pl Logical Aspects of Computational Linguistics,
More informationFROM AXIOMS TO STRUCTURAL RULES, THEN ADD QUANTIFIERS.
FROM AXIOMS TO STRUCTURAL RULES, THEN ADD QUANTIFIERS. REVANTHA RAMANAYAKE We survey recent developments in the program of generating proof calculi for large classes of axiomatic extensions of a non-classical
More informationPartially commutative linear logic: sequent calculus and phase semantics
Partially commutative linear logic: sequent calculus and phase semantics Philippe de Groote Projet Calligramme INRIA-Lorraine & CRIN CNRS 615 rue du Jardin Botanique - B.P. 101 F 54602 Villers-lès-Nancy
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not
More informationContinuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University
Grafting Trees: Continuations in Type Logical Grammar Chung-chieh Shan Harvard University ccshan@post.harvard.edu (with Chris Barker, UCSD) NJPLS, 27 February 2004 Computational Linguistics 1 What a linguist
More informationBounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing
Chapter 1 Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing MICHAIL FLOURIS, LAP CHI LAU, TSUYOSHI MORIOKA, PERIKLIS A. PAPAKONSTANTINOU,
More informationComplexity of the Lambek Calculus and Its Fragments
Complexity of the Lambek Calculus and Its Fragments Mati Pentus Department of Mathematical Logic and Theory of Algorithms Faculty of Mechanics and Mathematics Moscow State University 119991, Moscow, Russia
More informationGeneral methods in proof theory for modal logic - Lecture 1
General methods in proof theory for modal logic - Lecture 1 Björn Lellmann and Revantha Ramanayake TU Wien Tutorial co-located with TABLEAUX 2017, FroCoS 2017 and ITP 2017 September 24, 2017. Brasilia.
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationAbstract model theory for extensions of modal logic
Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for
More informationTABLEAUX VARIANTS OF SOME MODAL AND RELEVANT SYSTEMS
Bulletin of the Section of Logic Volume 17:3/4 (1988), pp. 92 98 reedition 2005 [original edition, pp. 92 103] P. Bystrov TBLEUX VRINTS OF SOME MODL ND RELEVNT SYSTEMS The tableaux-constructions have a
More informationDisplacement Logic for Grammar
Displacement Logic for Grammar Glyn Morrill & Oriol Valentín Department of Computer Science Universitat Politècnica de Catalunya morrill@cs.upc.edu & oriol.valentin@gmail.com ESSLLI 2016 Bozen-Bolzano
More informationZoran Petrić. 270 Minutes on Categorial Proof Theory
Zoran Petrić 270 Minutes on Categorial Proof Theory Abstract. The aim of these notes is to provide an introduction of basic categorial notions to a reader interested in logic and proof theory. The first
More informationA Computational Approach to Minimalism
A Computational Approach to Minimalism Alain LECOMTE CLIPS-IMAG BP-53 38041 Grenoble, cedex 9, France Email: Alain.Lecomte@upmf-grenoble.fr Abstract The aim of this paper is to recast minimalist principles
More informationA proof theoretical account of polarity items and monotonic inference.
A proof theoretical account of polarity items and monotonic inference. Raffaella Bernardi UiL OTS, University of Utrecht e-mail: Raffaella.Bernardi@let.uu.nl Url: http://www.let.uu.nl/ Raffaella.Bernardi/personal
More informationDisplay calculi in non-classical logics
Display calculi in non-classical logics Revantha Ramanayake Vienna University of Technology (TU Wien) Prague seminar of substructural logics March 28 29, 2014 Revantha Ramanayake (TU Wien) Display calculi
More informationPositive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
MFPS 2009 Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information Mehrnoosh Sadrzadeh 1,2 Computer Laboratory, Oxford University, Oxford, England, UK Roy Dyckhoff
More informationModal Logic XX. Yanjing Wang
Modal Logic XX Yanjing Wang Department of Philosophy, Peking University May 6th, 2016 Advanced Modal Logic (2016 Spring) 1 Completeness A traditional view of Logic A logic Λ is a collection of formulas
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationDynamic Epistemic Logic Displayed
1 / 43 Dynamic Epistemic Logic Displayed Giuseppe Greco & Alexander Kurz & Alessandra Palmigiano April 19, 2013 ALCOP 2 / 43 1 Motivation Proof-theory meets coalgebra 2 From global- to local-rules calculi
More informationA Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus
A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus Timothy A. D. Fowler Department of Computer Science University of Toronto 10 King s College Rd., Toronto, ON, M5S 3G4, Canada
More informationNon-classical Logics: Theory, Applications and Tools
Non-classical Logics: Theory, Applications and Tools Agata Ciabattoni Vienna University of Technology (TUV) Joint work with (TUV): M. Baaz, P. Baldi, B. Lellmann, R. Ramanayake,... N. Galatos (US), G.
More informationPositive provability logic
Positive provability logic Lev Beklemishev Steklov Mathematical Institute Russian Academy of Sciences, Moscow November 12, 2013 Strictly positive modal formulas The language of modal logic extends that
More informationParsing with Structure-Preserving Categorial Grammars
Parsing with Structure-Preserving Categorial Grammars Published by LOT Phone: +31 30 253 6006 Janskerkhof 13 Fax: +31 30 253 6406 3512 BL Utrecht e-mail: lot@let.uu.nl The Netherlands http: /www.lotschool.nl/
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationLinear Nested Sequents, 2-Sequents and Hypersequents
Linear Nested Sequents, 2-Sequents and Hypersequents Björn Lellmann TU Wien TABLEAUX 2015 Wroc law, Sep 22, 2015 Sequent systems and modal logics Sequent calculi for modal logics are well-established and
More informationA Logical Framework with Commutative and Non-Commutative Subexponentials
A Logical Framework with Commutative and Non-Commutative Subexponentials Max Kanovich 1, Stepan Kuznetsov 2,1, Vivek Nigam 3,4, and Andre Scedrov 5,1 1 National Research University Higher School of Economics,
More informationMeaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have
INTENSIONAL AND MODAL LOGIC Meaning and Reference Why do we consider extensions to the standard logical language(s)? Requirements of knowledge representation / domain modelling Intensional expressions:
More informationGalois Connections in Categorial Type Logic
Galois Connections in Categorial Type Logic Raffaella Bernardi joint work with Carlos Areces and Michael Moortgat Contents 1 Introduction.............................................. 4 2 Residuated operators
More informationFiltrations and Basic Proof Theory Notes for Lecture 5
Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write
More informationMarie Duží
Marie Duží marie.duzi@vsb.cz 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: 1. a language 2. a set of axioms 3. a set of deduction rules ad 1. The definition of a language
More informationLecture 7. Logic. Section1: Statement Logic.
Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationEquivalent Types in Lambek Calculus and Linear Logic
Equivalent Types in Lambek Calculus and Linear Logic Mati Pentus Steklov Mathematical Institute, Vavilov str. 42, Russia 117966, Moscow GSP-1 MIAN Prepublication Series for Logic and Computer Science LCS-92-02
More informationHybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars
Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars Richard Moot May 30, 2014 1 Introduction Hybrid type-logical grammars (Kubota & Levine 2012, Kubota
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationSeminar in Semantics: Gradation & Modality Winter 2014
1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows
More informationTR : Binding Modalities
City University of New York (CUNY) CUNY Academic Works Computer Science Technical Reports Graduate Center 2012 TR-2012011: Binding Modalities Sergei N. Artemov Tatiana Yavorskaya (Sidon) Follow this and
More informationDeductive Systems. Lecture - 3
Deductive Systems Lecture - 3 Axiomatic System Axiomatic System (AS) for PL AS is based on the set of only three axioms and one rule of deduction. It is minimal in structure but as powerful as the truth
More informationIterated Galois connections in arithmetic and linguistics. J. Lambek, McGill University
1 Iterated Galois connections in arithmetic and linguistics J. Lambek, McGill University Abstract: Galois connections may be viewed as pairs of adjoint functors, specialized from categories to partially
More informationPropositional logic (revision) & semantic entailment. p. 1/34
Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)
More informationON THE AXIOMATIC SYSTEMS OF SYNTACTICALLY-CATEGORIAL LANGUAGES
Bulletin of the Section of Logic Volume 13/4 (1984), pp. 241 249 reedition 2008 [original edition, pp. 241 251] Urszula Wybraniec-Skardowska ON THE AXIOMATIC SYSTEMS OF SYNTACTICALLY-CATEGORIAL LANGUAGES
More informationComputational Logic Lecture 3. Logical Entailment. Michael Genesereth Autumn Logical Reasoning
Computational Logic Lecture 3 Logical Entailment Michael Genesereth Autumn 2010 Logical Reasoning Logical Reasoning relates premises and conclusion does not say whether conclusion is true in general says
More informationLING 501, Fall 2004: Laws of logic and the definitions of the connectives
LING 501, Fall 2004: Laws of logic and the definitions of the connectives Modified October 24, adding a test yourself section at the end. Modified October 21, correcting errors noted in class on October
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More informationSystems of modal logic
499 Modal and Temporal Logic Systems of modal logic Marek Sergot Department of Computing Imperial College, London utumn 2008 Further reading: B.F. Chellas, Modal logic: an introduction. Cambridge University
More informationRough Sets and Learning by Unification
Fundamenta Informaticae XX (2006) 1 15 1 IOS Press Rough Sets and Learning by Unification Wojciech Buszkowski Adam Mickiewicz University in Poznań University of Warmia and Mazury in Olsztyn Abstract. We
More informationCategories in syntax and semantics
Categories in syntax and semantics Michael Moortgat CCSS Science Jam, March 1, 2018 Setting the stage NL semantics: two views Distributional model Words that occur in similar contexts have similar meaning.
More informationCategories, Proofs and Programs
Categories, Proofs and Programs Samson Abramsky and Nikos Tzevelekos Lecture 4: Curry-Howard Correspondence and Cartesian Closed Categories In A Nutshell Logic Computation 555555555555555555 5 Categories
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationDecomposing Modalities
Decomposing Modalities Frank Pfenning Department of Computer Science Carnegie Mellon University Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 15) Berlin, Germany August 1, 2015 1 /
More informationExtensions to the Logic of All x are y: Verbs, Relative Clauses, and Only
1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationExtensions of Analytic Pure Sequent Calculi with Modal Operators
Extensions of Analytic Pure Sequent Calculi with Modal Operators Yoni Zohar Tel Aviv University (joint work with Ori Lahav) GeTFun 4.0 Motivation C 1 [Avron, Konikowska, Zamansky 12] Positive rules of
More informationComputational Semantics Day 4: Extensionality and intensionality
Computational Semantics Day 4: Extensionality and intensionality Jan van Eijck 1 & Christina Unger 2 1 CWI, Amsterdam, and UiL-OTS, Utrecht, The Netherlands 2 CITEC, Bielefeld University, Germany ESSLLI
More informationAn introduction to mildly context sensitive grammar formalisms. Combinatory Categorial Grammar
An introduction to mildly context sensitive grammar formalisms Combinatory Categorial Grammar Gerhard Jäger & Jens Michaelis University of Potsdam {jaeger,michael}@ling.uni-potsdam.de p.1 Basic Categorial
More informationModel Theory of Modal Logic Lecture 5. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 5 Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, January 29, 2010 Model Theory of Modal Logic Lecture
More informationConsequence Relations of Modal Logic
Consequence Relations of Modal Logic Lauren Coe, Trey Worthington Huntingdon College BLAST 2015 January 6, 2015 Outline 1. Define six standard consequence relations of modal logic (Syntactic, Algebraic,
More informationLogic, Human Logic, and Propositional Logic. Human Logic. Fragments of Information. Conclusions. Foundations of Semantics LING 130 James Pustejovsky
Logic, Human Logic, and Propositional Logic Foundations of Semantics LING 3 James Pustejovsky Human Logic Thanks to Michael Genesereth of Stanford for use of some slides Fragments of Information Conclusions
More informationParasitic Scope (Barker 2007) Semantics Seminar 11/10/08
Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 1. Overview Attempts to provide a compositional, fully semantic account of same. Elements other than NPs in particular, adjectives can be scope-taking
More informationSurface Reasoning Lecture 2: Logic and Grammar
Surface Reasoning Lecture 2: Logic and Grammar Thomas Icard June 18-22, 2012 Thomas Icard: Surface Reasoning, Lecture 2: Logic and Grammar 1 Categorial Grammar Combinatory Categorial Grammar Lambek Calculus
More informationReasoning with Polarity in Categorial Type Logic
Reasoning with Polarity in Categorial Type Logic Redeneren met Polariteiten in Categoriale Typenlogica (met een samenvatting in het Nederlands) Uso delle Polarità nella Grammatica Categoriale (con un riassunto
More informationa. Develop a fragment of English that contains quantificational NPs. b. Develop a translation base from that fragment to Politics+λ
An Algebraic Approach to Quantification and Lambda Abstraction: Applications to the Analysis of English (1) Ingredients on the Table a. A logical language with both quantification and lambda abstraction
More informationJustification logic for constructive modal logic
Justification logic for constructive modal logic Sonia Marin With Roman Kuznets and Lutz Straßburger Inria, LIX, École Polytechnique IMLA 17 July 17, 2017 The big picture The big picture Justification
More informationFinite Presentations of Pregroups and the Identity Problem
6 Finite Presentations of Pregroups and the Identity Problem Alexa H. Mater and James D. Fix Abstract We consider finitely generated pregroups, and describe how an appropriately defined rewrite relation
More informationModule 5 K and Equivalent Systems
Module 5 K and Equivalent Systems G. J. Mattey July 8, 2010 Contents 1 The Semantical System KI 2 1.1 Specification of KI....................................... 2 1.2 Semantical Properties and Relations
More informationAlgebras of Deductions in Category Theory. 1 Logical models from universal algebra
THIRD MATHEMATICAL CONFERENCE OF THE REPUBLIC OF SRPSKA Trebinje, 7 and 8 June 2013 Algebras of Deductions in Category Theory Kosta Dosen Faculty of Philosophy, University of Belgrade, and Mathematical
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationAn Introduction to Proof Theory
An Introduction to Proof Theory Class 1: Foundations Agata Ciabattoni and Shawn Standefer anu lss december 2016 anu Our Aim To introduce proof theory, with a focus on its applications in philosophy, linguistics
More informationPropositional Calculus - Hilbert system H Moonzoo Kim CS Division of EECS Dept. KAIST
Propositional Calculus - Hilbert system H Moonzoo Kim CS Division of EECS Dept. KAIST moonzoo@cs.kaist.ac.kr http://pswlab.kaist.ac.kr/courses/cs402-07 1 Review Goal of logic To check whether given a formula
More informationPropositional Calculus - Hilbert system H Moonzoo Kim CS Dept. KAIST
Propositional Calculus - Hilbert system H Moonzoo Kim CS Dept. KAIST moonzoo@cs.kaist.ac.kr CS402 1 Review Goal of logic To check whether given a formula Á is valid To prove a given formula Á ` Á Syntactic
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationA Study of Entanglement in a Categorical Framework of Natural Language
A Study of Entanglement in a Categorical Framework of Natural Language Dimitri Kartsaklis 1 Mehrnoosh Sadrzadeh 2 1 Department of Computer Science University of Oxford 2 School of Electronic Engineering
More informationKazimierz SWIRYDOWICZ UPPER PART OF THE LATTICE OF EXTENSIONS OF THE POSITIVE RELEVANT LOGIC R +
REPORTS ON MATHEMATICAL LOGIC 40 (2006), 3 13 Kazimierz SWIRYDOWICZ UPPER PART OF THE LATTICE OF EXTENSIONS OF THE POSITIVE RELEVANT LOGIC R + A b s t r a c t. In this paper it is proved that the interval
More informationTowards Abstract Categorial Grammars
Towards Abstract Categorial Grammars Philippe de Groote LORIA UMR n o 7503 INRIA Campus Scientifique, B.P. 239 54506 Vandœuvre lès Nancy Cedex France degroote@loria.fr Abstract We introduce a new categorial
More informationOn Anaphora and the Binding Principles in Categorial Grammar
On Anaphora and the Binding Principles in Categorial Grammar Glyn Morrill Universitat Politècnica de Catalunya and Oriol Valentín Universitat Pompeu Fabra 21st April 2010 Abstract In type logical categorial
More informationUniform Schemata for Proof Rules
Uniform Schemata for Proof Rules Ulrich Berger and Tie Hou Department of omputer Science, Swansea University, UK {u.berger,cshou}@swansea.ac.uk Abstract. Motivated by the desire to facilitate the implementation
More informationReferences A CONSTRUCTIVE INTRODUCTION TO FIRST ORDER LOGIC. The Starting Point. Goals of foundational programmes for logic:
A CONSTRUCTIVE INTRODUCTION TO FIRST ORDER LOGIC Goals of foundational programmes for logic: Supply an operational semantic basis for extant logic calculi (ex post) Rational reconstruction of the practice
More informationComputational Coverage of TLG: The Montague Test
Computational Coverage of TLG: The Montague Test Glyn Morrill and Oriol Valentín Universitat Politècnica de Catalunya Barcelona Abstract This paper reports on the empirical coverage of Type Logical Grammar
More informationHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni Mauro Ferrari Abstract In this paper we define cut-free hypersequent calculi for some intermediate logics semantically
More informationCategorial Grammar. Larry Moss NASSLLI. Indiana University
1/37 Categorial Grammar Larry Moss Indiana University NASSLLI 2/37 Categorial Grammar (CG) CG is the tradition in grammar that is closest to the work that we ll do in this course. Reason: In CG, syntax
More information