Results 1  10
of
17
Categorial Type Logics
 Handbook of Logic and Language
, 1997
"... Contents 1 Introduction: grammatical reasoning 1 2 Linguistic inference: the Lambek systems 5 2.1 Modelinggrammaticalcomposition ............................ 5 2.2 Gentzen calculus, cut elimination and decidability . . . . . . . . . . . . . . . . . . . . 9 2.3 Discussion: options for resource mana ..."
Abstract

Cited by 239 (5 self)
 Add to MetaCart
Contents 1 Introduction: grammatical reasoning 1 2 Linguistic inference: the Lambek systems 5 2.1 Modelinggrammaticalcomposition ............................ 5 2.2 Gentzen calculus, cut elimination and decidability . . . . . . . . . . . . . . . . . . . . 9 2.3 Discussion: options for resource management . . . . . . . . . . . . . . . . . . . . . . 13 3 The syntaxsemantics interface: proofs and readings 16 3.1 Term assignment for categorial deductions . . . . . . . . . . . . . . . . . . . . . . . . 17 3.2 Natural language interpretation: the deductive view . . . . . . . . . . . . . . . . . . . 21 4 Grammatical composition: multimodal systems 26 4.1 Mixedinference:themodesofcomposition........................ 26 4.2 Grammaticalcomposition:unaryoperations ....................... 30 4.2.1 Unary connectives: logic and structure . . . . . . . . . . . . . . . . . . . . . . . 31 4.2.2 Applications: imposing constraints, structural relaxation
Diamonds are a Philosopher's Best Friends. The Knowability Paradox and Modal Epistemic Relevance Logic (Extended Abstract)
 Journal of Philosophical Logic
, 2002
"... Heinrich Wansing Dresden University of Technology The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Heinrich Wansing Dresden University of Technology The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is derived that all truths are, in fact, known. Nevertheless, the solution o#ered is in the spirit of the constructivist attitude usually maintained by defenders of the antirealist premise. In order to avoid the paradoxical reasoning, a paraconsistent constructive relevant modal epistemic logic with strong negation is defined semantically. The system is axiomatized and shown to be complete.
Anaphora and Ellipsis in TypeLogical Grammar
 Proceedings of the Eleventh Amsterdam Colloquium, ILLC, University of Amsterdam
, 1997
"... The aim of the present paper is to outline a unified account of anaphoricity and ellipsis phenomena within the framework of Type Logical Categorial Grammar. 1 There is at least one conceptual and one empirical reason to pursue such a goal. Firstly, both phenomena are characterized by the fact that t ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
The aim of the present paper is to outline a unified account of anaphoricity and ellipsis phenomena within the framework of Type Logical Categorial Grammar. 1 There is at least one conceptual and one empirical reason to pursue such a goal. Firstly, both phenomena are characterized by the fact that they reuse semantic
Basic DependencyBased Logical Grammar
, 1998
"... A logical grammar is presented that employs (kinds of) dependency relations as its basic categories, rather than constituents. The aim with this dependencybased logical grammar is to provide a calculus for doing analysis based on the description of natural language as provided by Sgall et al ([46, ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
A logical grammar is presented that employs (kinds of) dependency relations as its basic categories, rather than constituents. The aim with this dependencybased logical grammar is to provide a calculus for doing analysis based on the description of natural language as provided by Sgall et al ([46, 45]) and Petkevic ([42]). Table of Contents Motivation 4 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1 Functional Generative Description 7 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Tectogrammatical Representations . . . . . . . . . . . . . . . 9 2.1 Dependency Relations . . . . . . . . . . . . . . . . . . 10 2.2 Lexical Information . . . . . . . . . . . . . . . . . . . 10 2.3 Coordination and Apposition . . . . . . . . . . . . . . 12 2.4 Contextual Boundness/Nonboundness, and Deep Word Order . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.5 Gramm...
Lambek calculus proofs and tree automata
 Logical Aspects of Computational Linguistics Third International Conference, LACL '98, Selected Papers, volume 2014 of Lecture Notes in Artificial Intelligence
, 2001
"... Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus cannot be accepted by a finite tree automaton. The proof is extended to cover the proofs used by grammars based on the La ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus cannot be accepted by a finite tree automaton. The proof is extended to cover the proofs used by grammars based on the Lambek calculus, which typically use only a subset of the set of all proofs. While Lambek grammars can assign regular tree languages as structural descriptions, there exist Lambek grammars that assign nonregular structural descriptions, both when considering normal and nonnormal proof trees. Combining the results of Pentus (1993) and Thatcher (1967), we can conclude that Lambek grammars, although generating only contextfree languages, can extend the strong generative capacity of contextfree grammars. Furthermore, we show that structural descriptions that disregard the use of introduction rules cannot be used for a compositional semantics following the CurryHoward isomorphism. 1
Categorial Grammars with Negative Information
 A notion in focus, de Gruyter
, 1995
"... this paper we discuss some possibilities of introducing negative information in the formalism of categorial grammar. Traditionally, formal grammars, including categorial grammars, admit positive information only. For instance, one postulates the rule S)NP,VP but not \GammaS)NP,\GammaVP; here \GammaA ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
this paper we discuss some possibilities of introducing negative information in the formalism of categorial grammar. Traditionally, formal grammars, including categorial grammars, admit positive information only. For instance, one postulates the rule S)NP,VP but not \GammaS)NP,\GammaVP; here \GammaA stands for the negation (complement) of category A.
Proof theory and formal grammars: applications of normalization
 In Benedikt Löwe, Wolfgang Malzkom, and Thoralf Räsch, editors, Foundations of the formal sciences II
, 2003
"... One of the main areas of interaction between logic and linguistics in the last 20 years has been the proof theoretical approach to formal grammars. This approach dates back to Lambek’s work in the 1950s. Lambek proposed to ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
One of the main areas of interaction between logic and linguistics in the last 20 years has been the proof theoretical approach to formal grammars. This approach dates back to Lambek’s work in the 1950s. Lambek proposed to
Meeting a modality? Restricted permutation for the Lambek calculus. ' OTS Working Paper, Onderzoekinstituut voor Taal en Spraak, Universiteit
, 1993
"... This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzenstyle proof theory in which there are constraints on the application of some structural rules. In particular, we address the question how to add an operator to the Lambek Calculus in order to giv ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzenstyle proof theory in which there are constraints on the application of some structural rules. In particular, we address the question how to add an operator to the Lambek Calculus in order to give it a restricted access to the rule of Permutation, an extension which is partly motivated by linguistic applications. In line with tradition, we use the operator (∇) as a label telling us how the marked formula may be used, qua structural rules. New in our approach is that we do not see ∇ as a modality. Rather, we treat a formula ∇A as the meet of A with a special type Q. In this way we can make the specific structural behaviour of marked formulas more explicit. We define a minimal proof calculus for the system and prove some nice properties of it, like cutelimination, decidability an an embedding result. The main motivation for our approach however is that we can supply the proof system with an intuitive semantics.
Labeled deduction in the composition of form and meaning
 IN H.J. OHLBACH & U. REYLE (EDS.) LOGIC, LANGUAGE AND REASONING. ESSAYS IN HONOR OF DOV GABBAY, PART I
, 1999
"... In the late Fifties, Jim Lambek has started a line of investigation that accounts for the composition of form and meaning in natural language in deductive terms: formal grammar is presented as a logic — a system for reasoning about the basic form/meaning units of language and the ways they can be pu ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In the late Fifties, Jim Lambek has started a line of investigation that accounts for the composition of form and meaning in natural language in deductive terms: formal grammar is presented as a logic — a system for reasoning about the basic form/meaning units of language and the ways they can be put together into wellformed structured configurations. The reception of the categorial grammar logics in linguistic circles has always been somewhat mixed: the mathematical elegance of the original system ([Lambek 58]) is counterbalanced by clear descriptive limitations, as Lambek has been the first to emphasize on a variety of occasions. As a result of the deepened understanding of the options for ‘substructural ’ styles of reasoning, the categorial architecture has been redesigned in recent work, in ways that suggest that mathematical elegance may indeed be compatible with linguistic sophistication. A careful separation of the logical and the structural components of the categorial inference engine leads to the identification of constants of grammatical reasoning. At the level of the basic rules of use and proof for these constants one finds an explanation for the uniformities in the composition of form and meaning across languages. Crosslinguistic variation in the realization of the formmeaning correspondence is captured in terms of structural inference packages, acting as plugins with respect to the base logic of the grammatical