Automatically assigned DDC number: 415

Manually assigned DDC number: 00635

Number of references: 31

Title: Categorial Type Logics

Author:

Subject: Michael Moortgat Categorial Type Logics

Description: Contents 1 Introduction: grammatical reasoning 1 2 Linguistic inference: the Lambek systems 5 2.1 Modeling grammatical composition : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.2 Gentzen calculus, cut elimination and decidability : : : : : : : : : : : : : : : : : : : : 9 2.3 Discussion: options for resource management : : : : : : : : : : : : : : : : : : : : : : : 12 3 The syntax-semantics interface: proofs and readings 16 3.1 Term assignment for categorial deductions : : : : : : : : : : : : : : : : : : : : : : : : : 17 3.2 Natural language interpretation: the deductive view : : : : : : : : : : : : : : : : : : : 20 4 Grammatical composition: multimodal systems 25 4.1 Mixed inference: the modes of composition : : : : : : : : : : : : : : : : : : : : : : : : 25 4.2 Grammatical composition: unary operations : : : : : : : :

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-05-13

Pubyear: 0

Format: ps

Identifier: http://citeseer.ist.psu.edu/155640.html

Source: http://www-uilots.let.ruu.nl/www/staff/moortgat/hlola.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/579802.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Proof   figures   and   structural   operators   for   categorial   grammar,">

            <identifier   Org="ISBN:0262531496"   Paper_ID="/579802.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0792330951"   Paper_ID="/579802.html"   Extracted="0792330951"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:2866390067"   Paper_ID="/579802.html"   Extracted="2866390067"   DDC="410"   Normalized_DDC="41"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3110130114"   Paper_ID="/579802.html"   Extracted="3110130114"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540637001"   Paper_ID="/579802.html"   Extracted="3540637001"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/579236.html"   Type="inproceedings"   CiteSeer_Book="Meeting   of   the   Association   for   Computational   Linguistics"   CiteSeer_Volume=""   Title="Features   and   Agreement,">

            <identifier   Org="ISBN:0195093070"   Paper_ID="/579236.html"   Extracted="0195093070"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:019514225X"   Paper_ID="/579236.html"   Extracted="019514225X"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262140675"   Paper_ID="/579236.html"   Extracted="0262140675"   DDC="419"   Normalized_DDC="419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521576849"   Paper_ID="/579236.html"   Extracted="0521576849"   DDC="465"   Normalized_DDC="465"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521803853"   Paper_ID="/579236.html"   Extracted="0521803853"   DDC="419"   Normalized_DDC="419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521806879"   Paper_ID="/579236.html"   Extracted="0521806879"   DDC="417/.2/094"   Normalized_DDC="4172094"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0582279437"   Paper_ID="/579236.html"   Extracted="0582279437"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792337786"   Paper_ID="/579236.html"   Extracted="0792337786"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792346084"   Paper_ID="/579236.html"   Extracted="0792346084"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0805838791"   Paper_ID="/579236.html"   Extracted="0805838791"   />

            <identifier   Org="ISBN:0805849599"   Paper_ID="/579236.html"   Extracted="0805849599"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0914203274"   Paper_ID="/579236.html"   Extracted="0914203274"   />

            <identifier   Org="ISBN:3110176858"   Paper_ID="/579236.html"   Extracted="3110176858"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027219729"   Paper_ID="/579236.html"   Extracted="9027219729"   DDC="445"   Normalized_DDC="445"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027227748"   Paper_ID="/579236.html"   Extracted="9027227748"   DDC="435"   Normalized_DDC="435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027228108"   Paper_ID="/579236.html"   Extracted="9027228108"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027233659"   Paper_ID="/579236.html"   Extracted="9027233659"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027233799"   Paper_ID="/579236.html"   Extracted="9027233799"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9027241406"   Paper_ID="/579236.html"   Extracted="9027241406"   DDC="440/.045"   Normalized_DDC="440045"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/526084.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Zooming-in,   zooming-out,">

            <identifier   Org="ISBN:0275950166"   Paper_ID="/526084.html"   Extracted="0275950166"   DDC="370.15/23"   Normalized_DDC="3701523"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0470040629"   Paper_ID="/526084.html"   Extracted="0470040629"   DDC="005.58"   Normalized_DDC="00558"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0471782793"   Paper_ID="/526084.html"   Extracted="0471782793"   DDC="005.5"   Normalized_DDC="0055"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0596009062"   Paper_ID="/526084.html"   Extracted="0596009062"   DDC="005.369"   Normalized_DDC="005369"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0761928340"   Paper_ID="/526084.html"   Extracted="0761928340"   DDC="001.4/2"   Normalized_DDC="00142"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0764569228"   Paper_ID="/526084.html"   Extracted="0764569228"   DDC="005.446"   Normalized_DDC="005446"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0764588125"   Paper_ID="/526084.html"   Extracted="0764588125"   DDC="686.2/2544536"   Normalized_DDC="68622544536"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1558602461"   Paper_ID="/526084.html"   Extracted="1558602461"   DDC="004/.01/9"   Normalized_DDC="004019"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1579906680"   Paper_ID="/526084.html"   Extracted="1579906680"   DDC="778.59"   Normalized_DDC="77859"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1599043262"   Paper_ID="/526084.html"   Extracted="1599043262"   DDC="371.35/8"   Normalized_DDC="371358"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3110144662"   Paper_ID="/526084.html"   Extracted="3110144662"   DDC="401/.41"   Normalized_DDC="40141"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:4274906000"   Paper_ID="/526084.html"   Extracted="4274906000"   DDC="371.334"   Normalized_DDC="371334"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:8126506032"   Paper_ID="/526084.html"   Extracted="8126506032"   />

            <identifier   Org="ISBN:8126519673"   Paper_ID="/526084.html"   Extracted="8126519673"   />

            <identifier   Org="ISBN:8177225812"   Paper_ID="/526084.html"   Extracted="8177225812"   />

            <identifier   Org="ISBN:9027254036"   Paper_ID="/526084.html"   Extracted="9027254036"   DDC="323.44"   Normalized_DDC="32344"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/584418.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   32nd   Annual   Meeting   of   the   ACL"   CiteSeer_Volume=""   Title="Constraint-Based   Categorial   Grammar,">

            <identifier   Org="ISBN:0199250642"   Paper_ID="/584418.html"   Extracted="0199250642"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0262194201"   Paper_ID="/584418.html"   Extracted="0262194201"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0521662990"   Paper_ID="/584418.html"   Extracted="0521662990"   DDC="401"   Normalized_DDC="401"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540617086"   Paper_ID="/584418.html"   Extracted="3540617086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/185862.html"   Type="article"   CiteSeer_Book="Computational   Linguistics"   CiteSeer_Volume="17"   Title="The   Generative   Power   of   Categorial   Grammars   and   Head-Driven   Phrase   Structure   Grammars   with   Lexical   Rules,">

            <identifier   Org="ISBN:0131873210"   Paper_ID="/185862.html"   Extracted="0131873210"   DDC="410.285"   Normalized_DDC="410285"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0262194201"   Paper_ID="/185862.html"   Extracted="0262194201"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0262531496"   Paper_ID="/185862.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:079236368X"   Paper_ID="/185862.html"   Extracted="079236368X"   DDC="413/.028"   Normalized_DDC="413028"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1575863057"   Paper_ID="/185862.html"   Extracted="1575863057"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/33368.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Categorial   grammars,   lexical   rules,   and   the   English   predicative,">

            <identifier   Org="ISBN:019507310X"   Paper_ID="/33368.html"   Extracted="019507310X"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0792330951"   Paper_ID="/33368.html"   Extracted="0792330951"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/113945.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Quantification   and   Scoping:   {A}   Deductive   Account,">

            <identifier   Org="ISBN:0262041715"   Paper_ID="/113945.html"   Extracted="0262041715"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0262531496"   Paper_ID="/113945.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1402001754"   Paper_ID="/113945.html"   Extracted="1402001754"   DDC="401/.43/0285"   Normalized_DDC="401430285"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/126885.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Linear   logic   for   meaning   assembly,">

            <identifier   Org="ISBN:0262041715"   Paper_ID="/126885.html"   Extracted="0262041715"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/126885.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1575864878"   Paper_ID="/126885.html"   Extracted="1575864878"   DDC="415/.018"   Normalized_DDC="415018"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/126885.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/287184.html"   Type="unpublished"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Toward   a   Minimalist   Theory   of   Syntactic   Structure,">

            <identifier   Org="ISBN:0199204381"   Paper_ID="/287184.html"   Extracted="0199204381"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0792343840"   Paper_ID="/287184.html"   Extracted="0792343840"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0893918695"   Paper_ID="/287184.html"   Extracted="0893918695"   DDC="006.3/5"   Normalized_DDC="00635"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402002904"   Paper_ID="/287184.html"   Extracted="1402002904"   />

            <identifier   Org="ISBN:3110130114"   Paper_ID="/287184.html"   Extracted="3110130114"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:9027215561"   Paper_ID="/287184.html"   Extracted="9027215561"   DDC="410/.1/51"   Normalized_DDC="410151"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/339763.html"   Type="incollection"   CiteSeer_Book="Substructural   Logics"   CiteSeer_Volume=""   Title="Partial-Gaggles   Applied   to   Logics   with   Restricted   Structural   Rules,">

            <identifier   Org="ISBN:0198531923"   Paper_ID="/339763.html"   Extracted="0198531923"   DDC="511.3/24"   Normalized_DDC="511324"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0198537778"   Paper_ID="/339763.html"   Extracted="0198537778"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:041521534X"   Paper_ID="/339763.html"   Extracted="041521534X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444516220"   Paper_ID="/339763.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444521410"   Paper_ID="/339763.html"   Extracted="0444521410"   DDC="511.33"   Normalized_DDC="51133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792343301"   Paper_ID="/339763.html"   Extracted="0792343301"   DDC="001/.01   s"   Normalized_DDC="00101"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:079235205X"   Paper_ID="/339763.html"   Extracted="079235205X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792355695"   Paper_ID="/339763.html"   Extracted="0792355695"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402006055"   Paper_ID="/339763.html"   Extracted="1402006055"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402006659"   Paper_ID="/339763.html"   Extracted="1402006659"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3110145456"   Paper_ID="/339763.html"   Extracted="3110145456"   DDC="193"   Normalized_DDC="193"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540207805"   Paper_ID="/339763.html"   Extracted="3540207805"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/339763.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3790815411"   Paper_ID="/339763.html"   Extracted="3790815411"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9042003820"   Paper_ID="/339763.html"   Extracted="9042003820"   />

      </rec>

      <rec   ID="/111655.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="143"   Title="Light   Linear   Logic,">

            <identifier   Org="ISBN:0521559618"   Paper_ID="/111655.html"   Extracted="0521559618"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/111655.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/111655.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/111655.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402028075"   Paper_ID="/111655.html"   Extracted="1402028075"   DDC="121"   Normalized_DDC="121"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402071817"   Paper_ID="/111655.html"   Extracted="1402071817"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540202161"   Paper_ID="/111655.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540212981"   Paper_ID="/111655.html"   Extracted="3540212981"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540403329"   Paper_ID="/111655.html"   Extracted="3540403329"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/111655.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540601783"   Paper_ID="/111655.html"   Extracted="3540601783"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540630457"   Paper_ID="/111655.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540645896"   Paper_ID="/111655.html"   Extracted="3540645896"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/111655.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/111655.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/111655.html"   Extracted="3540732276"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/111655.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540926860"   Paper_ID="/111655.html"   Extracted="3540926860"   />

            <identifier   Org="ISBN:9810234325"   Paper_ID="/111655.html"   Extracted="9810234325"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/368790.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Command   and   domain   constraints   in   a   categorial   theory   of   binding,">

            <identifier   Org="ISBN:1402039042"   Paper_ID="/368790.html"   Extracted="1402039042"   DDC="415.01"   Normalized_DDC="41501"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:1881526127"   Paper_ID="/368790.html"   Extracted="1881526127"   />

      </rec>

      <rec   ID="/368726.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Hybrid   Categorial   Logics,">

            <identifier   Org="ISBN:079235687X"   Paper_ID="/368726.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1402017162"   Paper_ID="/368726.html"   Extracted="1402017162"   DDC="016.41"   Normalized_DDC="01641"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/368726.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/363985.html"   Type="incollection"   CiteSeer_Book="Proceedings   6th   IEEE   Annual   Symp   on   Logic   in   Computer   Science   Amsterdam   The   Netherlands   1518   July   1991"   CiteSeer_Volume=""   Title="Logic   Programming   in   a   Fragment   of   Intuitionistic   Linear   Logic,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/363985.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/363985.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/363985.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:038755498X"   Paper_ID="/363985.html"   Extracted="038755498X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/363985.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/363985.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:081862230X"   Paper_ID="/363985.html"   Extracted="081862230X"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/363985.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/363985.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540442405"   Paper_ID="/363985.html"   Extracted="3540442405"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354055727X"   Paper_ID="/363985.html"   Extracted="354055727X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540564543"   Paper_ID="/363985.html"   Extracted="3540564543"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354061463X"   Paper_ID="/363985.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540614877"   Paper_ID="/363985.html"   Extracted="3540614877"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540617353"   Paper_ID="/363985.html"   Extracted="3540617353"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540629637"   Paper_ID="/363985.html"   Extracted="3540629637"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540645896"   Paper_ID="/363985.html"   Extracted="3540645896"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/363985.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/37294.html"   Type="article"   CiteSeer_Book="Linguistics   and   Philosophy"   CiteSeer_Volume="20"   Title="Partial   Proof   Trees   as   Building   Blocks   for   a   Categorial   Grammar,">

            <identifier   Org="ISBN:0195123026"   Paper_ID="/37294.html"   Extracted="0195123026"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:019927634X"   Paper_ID="/37294.html"   Extracted="019927634X"   DDC="410.285"   Normalized_DDC="410285"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0262562081"   Paper_ID="/37294.html"   Extracted="0262562081"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1402001754"   Paper_ID="/37294.html"   Extracted="1402001754"   DDC="401/.43/0285"   Normalized_DDC="401430285"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540223401"   Paper_ID="/37294.html"   Extracted="3540223401"   DDC="006.3/5"   Normalized_DDC="00635"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354042251X"   Paper_ID="/37294.html"   Extracted="354042251X"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/87718.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="French   object   clitics:   a   multimodal   analysis,">

            <identifier   Org="ISBN:0262531496"   Paper_ID="/87718.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/223167.html"   Type="incollection"   CiteSeer_Book="Proof   Theory   of   Modal   Logic"   CiteSeer_Volume=""   Title="Power   and   Weakness   of   the   Modal   Display   Calculus,">

            <identifier   Org="ISBN:0444516220"   Paper_ID="/223167.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792341201"   Paper_ID="/223167.html"   Extracted="0792341201"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:079234376X"   Paper_ID="/223167.html"   Extracted="079234376X"   DDC="006.3/5"   Normalized_DDC="00635"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:079235205X"   Paper_ID="/223167.html"   Extracted="079235205X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792356276"   Paper_ID="/223167.html"   Extracted="0792356276"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792377494"   Paper_ID="/223167.html"   Extracted="0792377494"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402006659"   Paper_ID="/223167.html"   Extracted="1402006659"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1405145757"   Paper_ID="/223167.html"   Extracted="1405145757"   />

            <identifier   Org="ISBN:3110163934"   Paper_ID="/223167.html"   Extracted="3110163934"   DDC="146/.4"   Normalized_DDC="1464"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540631720"   Paper_ID="/223167.html"   Extracted="3540631720"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540651381"   Paper_ID="/223167.html"   Extracted="3540651381"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540660860"   Paper_ID="/223167.html"   Extracted="3540660860"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540662227"   Paper_ID="/223167.html"   Extracted="3540662227"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9812381791"   Paper_ID="/223167.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/71504.html"   Type="inproceedings"   CiteSeer_Book="Tenth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="Decision   Problems   For   Second   Order   Linear   Logic,">

            <identifier   Org="ISBN:0521559618"   Paper_ID="/71504.html"   Extracted="0521559618"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:078032563X"   Paper_ID="/71504.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0780399781"   Paper_ID="/71504.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/71504.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540630457"   Paper_ID="/71504.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/96234.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Language   and   Information"   CiteSeer_Volume="5"   Title="Multimodal   Linguistic   Inference,">

            <identifier   Org="ISBN:0262041715"   Paper_ID="/96234.html"   Extracted="0262041715"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792343840"   Paper_ID="/96234.html"   Extracted="0792343840"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:079235687X"   Paper_ID="/96234.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792365739"   Paper_ID="/96234.html"   Extracted="0792365739"   />

            <identifier   Org="ISBN:1402006055"   Paper_ID="/96234.html"   Extracted="1402006055"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402017162"   Paper_ID="/96234.html"   Extracted="1402017162"   DDC="016.41"   Normalized_DDC="01641"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1575864878"   Paper_ID="/96234.html"   Extracted="1575864878"   DDC="415/.018"   Normalized_DDC="415018"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/96234.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540257837"   Paper_ID="/96234.html"   Extracted="3540257837"   DDC="410.285"   Normalized_DDC="410285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540734430"   Paper_ID="/96234.html"   Extracted="3540734430"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:8876991174"   Paper_ID="/96234.html"   Extracted="8876991174"   DDC="428"   Normalized_DDC="428"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:9027247374"   Paper_ID="/96234.html"   Extracted="9027247374"   DDC="410"   Normalized_DDC="41"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/208643.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Heads   and   Phrases:   Type   Calculus   for   Dependency   and   Constituency,"   />

      <rec   ID="/449847.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Grammar   and   Logical   Types,">

            <identifier   Org="ISBN:0198538529"   Paper_ID="/449847.html"   Extracted="0198538529"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0262531496"   Paper_ID="/449847.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0521429889"   Paper_ID="/449847.html"   Extracted="0521429889"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792323424"   Paper_ID="/449847.html"   Extracted="0792323424"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792330951"   Paper_ID="/449847.html"   Extracted="0792330951"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:079234152X"   Paper_ID="/449847.html"   Extracted="079234152X"   DDC="006.35"   Normalized_DDC="00635"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:081532846X"   Paper_ID="/449847.html"   Extracted="081532846X"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:2866390067"   Paper_ID="/449847.html"   Extracted="2866390067"   DDC="410"   Normalized_DDC="41"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3110130114"   Paper_ID="/449847.html"   Extracted="3110130114"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540567348"   Paper_ID="/449847.html"   Extracted="3540567348"   />

            <identifier   Org="ISBN:9051838085"   Paper_ID="/449847.html"   Extracted="9051838085"   />

      </rec>

      <rec   ID="/385909.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Structural   facilitation   and   structural   inhibition,"   />

      <rec   ID="/581260.html"   Type="inproceedings"   CiteSeer_Book="7th   Conference   of   the   Association   for   Computational   Linguistics"   CiteSeer_Volume=""   Title="Higher-order   Linear   Logic   Programming   of   Categorial   Deduction,">

            <identifier   Org="ISBN:0521608570"   Paper_ID="/581260.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:079235687X"   Paper_ID="/581260.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540637001"   Paper_ID="/581260.html"   Extracted="3540637001"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/32847.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Clausal   Proofs   and   Discontinuity,">

            <identifier   Org="ISBN:1402007493"   Paper_ID="/32847.html"   Extracted="1402007493"   DDC="530.13/8"   Normalized_DDC="530138"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1402017162"   Paper_ID="/32847.html"   Extracted="1402017162"   DDC="016.41"   Normalized_DDC="01641"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540615113"   Paper_ID="/32847.html"   Extracted="3540615113"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540637001"   Paper_ID="/32847.html"   Extracted="3540637001"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/564277.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   COLING   94   the   16th   International   Conference   on   Computational   Linguistics   August   59   1994   Kyoto   Japan"   CiteSeer_Volume=""   Title="Categorial   {Grammar}   and   {Discourse   Representation}   {Theory},">

            <identifier   Org="ISBN:0226280853"   Paper_ID="/564277.html"   Extracted="0226280853"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0262041715"   Paper_ID="/564277.html"   Extracted="0262041715"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1402002904"   Paper_ID="/564277.html"   Extracted="1402002904"   />

            <identifier   Org="ISBN:1402016921"   Paper_ID="/564277.html"   Extracted="1402016921"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/588212.html"   Type="book"   CiteSeer_Book="HeadDriven   Phrase   Structure   Grammar"   CiteSeer_Volume=""   Title="Head-Driven   Phrase   Structure   Grammar,">

            <identifier   Org="ISBN:0199247455"   Paper_ID="/588212.html"   Extracted="0199247455"   DDC="410"   Normalized_DDC="41"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0226674479"   Paper_ID="/588212.html"   Extracted="0226674479"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:026210119X"   Paper_ID="/588212.html"   Extracted="026210119X"   DDC="401.9"   Normalized_DDC="4019"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0262731444"   Paper_ID="/588212.html"   Extracted="0262731444"   DDC="153.03"   Normalized_DDC="15303"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0415203198"   Paper_ID="/588212.html"   Extracted="0415203198"   DDC="410/.3"   Normalized_DDC="4103"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0415361915"   Paper_ID="/588212.html"   Extracted="0415361915"   DDC="418.028/5"   Normalized_DDC="4180285"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0471390526"   Paper_ID="/588212.html"   Extracted="0471390526"   DDC="621.303"   Normalized_DDC="621303"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0567089584"   Paper_ID="/588212.html"   Extracted="0567089584"   DDC="227.06"   Normalized_DDC="22706"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0631225447"   Paper_ID="/588212.html"   Extracted="0631225447"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0826486452"   Paper_ID="/588212.html"   Extracted="0826486452"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0937073237"   Paper_ID="/588212.html"   Extracted="0937073237"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1575861747"   Paper_ID="/588212.html"   Extracted="1575861747"   DDC="491.8/045"   Normalized_DDC="4918045"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:158811404X"   Paper_ID="/588212.html"   Extracted="158811404X"   DDC="401/.41"   Normalized_DDC="40141"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1588116115"   Paper_ID="/588212.html"   Extracted="1588116115"   DDC="415/.7"   Normalized_DDC="4157"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1857282175"   Paper_ID="/588212.html"   Extracted="1857282175"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3110147327"   Paper_ID="/588212.html"   Extracted="3110147327"   DDC="413/.0285/635"   Normalized_DDC="4130285635"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3110162520"   Paper_ID="/588212.html"   Extracted="3110162520"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:9027227578"   Paper_ID="/588212.html"   Extracted="9027227578"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:9027227640"   Paper_ID="/588212.html"   Extracted="9027227640"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:902725379X"   Paper_ID="/588212.html"   Extracted="902725379X"   DDC="401/.41"   Normalized_DDC="40141"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/461547.html"   Type="incollection"   CiteSeer_Book="Proc   of   8th   Ann   IEEE   Symp   on   Logic   in   Computer   Science   LICS93   Montreal   Canada   1923   June   1993"   CiteSeer_Volume=""   Title="{L}ambek   Grammars   Are   Context   Free,"   />

      <rec   ID="/577290.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   logical   treatment   of   semi-free   word   order   and   bounded   discontinuous   constituency,">

            <identifier   Org="ISBN:0125979304"   Paper_ID="/577290.html"   Extracted="0125979304"   DDC="401.51"   Normalized_DDC="40151"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0262531496"   Paper_ID="/577290.html"   Extracted="0262531496"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0521419328"   Paper_ID="/577290.html"   Extracted="0521419328"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0521836573"   Paper_ID="/577290.html"   Extracted="0521836573"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1575863057"   Paper_ID="/577290.html"   Extracted="1575863057"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/83805.html"   Type="article"   CiteSeer_Book="Bulletin   of   the   IGPL"   CiteSeer_Volume="2"   Title="A   Useful   Substructural   Logic,">

            <identifier   Org="ISBN:0415215331"   Paper_ID="/83805.html"   Extracted="0415215331"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0444516220"   Paper_ID="/83805.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:079235205X"   Paper_ID="/83805.html"   Extracted="079235205X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402005830"   Paper_ID="/83805.html"   Extracted="1402005830"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402006055"   Paper_ID="/83805.html"   Extracted="1402006055"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/45918.html"   Type="article"   CiteSeer_Book="Studia   Logica"   CiteSeer_Volume="54"   Title="Meeting   Strength   in   Substructural   Logics,">

            <identifier   Org="ISBN:0792332261"   Paper_ID="/45918.html"   Extracted="0792332261"   />

            <identifier   Org="ISBN:0792334329"   Paper_ID="/45918.html"   Extracted="0792334329"   DDC="401"   Normalized_DDC="401"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:079235205X"   Paper_ID="/45918.html"   Extracted="079235205X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/45918.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/580555.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Categorial   Grammar,   modalities,   and   algebraic   semantics,">

            <identifier   Org="ISBN:0262720248"   Paper_ID="/580555.html"   Extracted="0262720248"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Categorial   Type   Logics">

            <identifier   Org="ISBN:0199204381"   Paper_ID="SELF"   Extracted="0199204381"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262731444"   Paper_ID="SELF"   Extracted="0262731444"   DDC="153.03"   Normalized_DDC="15303"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0444516905"   Paper_ID="SELF"   Extracted="0444516905"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0780374614"   Paper_ID="SELF"   Extracted="0780374614"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792364732"   Paper_ID="SELF"   Extracted="0792364732"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0824708059"   Paper_ID="SELF"   Extracted="0824708059"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402016921"   Paper_ID="SELF"   Extracted="1402016921"   DDC="415"   Normalized_DDC="415"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1412023815"   Paper_ID="SELF"   Extracted="1412023815"   />

            <identifier   Org="ISBN:3110167360"   Paper_ID="SELF"   Extracted="3110167360"   DDC="410.9"   Normalized_DDC="4109"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540207805"   Paper_ID="SELF"   Extracted="3540207805"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="SELF"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540230297"   Paper_ID="SELF"   Extracted="3540230297"   DDC="510/.285"   Normalized_DDC="510285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540257837"   Paper_ID="SELF"   Extracted="3540257837"   DDC="410.285"   Normalized_DDC="410285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540410422"   Paper_ID="SELF"   Extracted="3540410422"   DDC="006.3/5"   Normalized_DDC="00635"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="SELF"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="SELF"   Extracted="3540732276"   />

            <identifier   Org="ISBN:354078196X"   Paper_ID="SELF"   Extracted="354078196X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9027247374"   Paper_ID="SELF"   Extracted="9027247374"   DDC="410"   Normalized_DDC="41"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9042012579"   Paper_ID="SELF"   Extracted="9042012579"   />

      </rec>

</references_metadata>