Admissible Bases Via Stable Canonical Rules View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2016-04

AUTHORS

Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

ABSTRACT

We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

PAGES

317-341

References to SciGraph publications

  • 1985-01. Bases of admissible rules of the logics S4 and Int in ALGEBRA AND LOGIC
  • 2008-02. Topo-canonical completions of closure algebras and Heyting algebras in ALGEBRA UNIVERSALIS
  • 2016-06. Consequence Relations and Admissible Rules in JOURNAL OF PHILOSOPHICAL LOGIC
  • Journal

    TITLE

    Studia Logica

    ISSUE

    2

    VOLUME

    104

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11225-015-9642-z

    DOI

    http://dx.doi.org/10.1007/s11225-015-9642-z

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1007808794


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Amsterdam", 
              "id": "https://www.grid.ac/institutes/grid.7177.6", 
              "name": [
                "Institute for Logic, Language and Computation, University of Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bezhanishvili", 
            "givenName": "Nick", 
            "id": "sg:person.010504205424.74", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010504205424.74"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Tbilisi State University", 
              "id": "https://www.grid.ac/institutes/grid.26193.3f", 
              "name": [
                "Department of Mathematical Logic, TSU Razmadze Mathematical Institute, 6 Tamarashvili Str., 0177, Tbilisi, Georgia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gabelaia", 
            "givenName": "David", 
            "id": "sg:person.014222140523.92", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014222140523.92"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Milan", 
              "id": "https://www.grid.ac/institutes/grid.4708.b", 
              "name": [
                "Dipartimento di Matematica, Universit\u00e0 degli Studi di Milano, via C. Saldini 50, 20133, Milano, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ghilardi", 
            "givenName": "Silvio", 
            "id": "sg:person.011570703446.32", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011570703446.32"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Tbilisi State University", 
              "id": "https://www.grid.ac/institutes/grid.26193.3f", 
              "name": [
                "Department of Mathematical Logic, TSU Razmadze Mathematical Institute, 6 Tamarashvili Str., 0177, Tbilisi, Georgia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jibladze", 
            "givenName": "Mamuka", 
            "id": "sg:person.011104363657.37", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011104363657.37"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s10992-015-9380-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004656636", 
              "https://doi.org/10.1007/s10992-015-9380-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10992-015-9380-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004656636", 
              "https://doi.org/10.1007/s10992-015-9380-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(90)90055-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006491535"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00012-007-2032-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007363893", 
              "https://doi.org/10.1007/s00012-007-2032-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/1521-3870(200111)47:4<441::aid-malq441>3.0.co;2-j", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008079169"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2275372", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010973755"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.apal.2013.01.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012672390"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s1570-2464(07)80009-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022748945"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2271891", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030161054"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2586506", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039585331"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0168-0072(99)00032-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040756965"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2178/jsl/1254748686", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041484379"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.apal.2010.09.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042198370"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01978706", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044978040", 
              "https://doi.org/10.1007/bf01978706"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01978706", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044978040", 
              "https://doi.org/10.1007/bf01978706"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2275439", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047138028"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2694922", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049112994"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/jigpal/jzn004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059797824"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3166/jancl.20.193-217", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1071066205"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9781107050884", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098700872"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511809088", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098730623"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2016-04", 
        "datePublishedReg": "2016-04-01", 
        "description": "We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s11225-015-9642-z", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1051009", 
            "issn": [
              "0039-3215", 
              "1572-8730"
            ], 
            "name": "Studia Logica", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "104"
          }
        ], 
        "name": "Admissible Bases Via Stable Canonical Rules", 
        "pagination": "317-341", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "25326cee4656db0acc438c17c5d13ee60c3086ad066a559ce822d29a4df77ab4"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11225-015-9642-z"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1007808794"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11225-015-9642-z", 
          "https://app.dimensions.ai/details/publication/pub.1007808794"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T01:09", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8697_00000520.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007%2Fs11225-015-9642-z"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s11225-015-9642-z'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s11225-015-9642-z'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11225-015-9642-z'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11225-015-9642-z'


     

    This table displays all metadata directly associated to this object as RDF triples.

    140 TRIPLES      20 PREDICATES      44 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11225-015-9642-z schema:author N08d4a496cce14396879ee0ea9e16a680
    2 schema:citation sg:pub.10.1007/bf01978706
    3 sg:pub.10.1007/s00012-007-2032-2
    4 sg:pub.10.1007/s10992-015-9380-8
    5 https://doi.org/10.1002/1521-3870(200111)47:4<441::aid-malq441>3.0.co;2-j
    6 https://doi.org/10.1016/0168-0072(90)90055-7
    7 https://doi.org/10.1016/j.apal.2010.09.001
    8 https://doi.org/10.1016/j.apal.2013.01.001
    9 https://doi.org/10.1016/s0168-0072(99)00032-9
    10 https://doi.org/10.1016/s1570-2464(07)80009-7
    11 https://doi.org/10.1017/cbo9780511809088
    12 https://doi.org/10.1017/cbo9781107050884
    13 https://doi.org/10.1093/jigpal/jzn004
    14 https://doi.org/10.2178/jsl/1254748686
    15 https://doi.org/10.2307/2271891
    16 https://doi.org/10.2307/2275372
    17 https://doi.org/10.2307/2275439
    18 https://doi.org/10.2307/2586506
    19 https://doi.org/10.2307/2694922
    20 https://doi.org/10.3166/jancl.20.193-217
    21 schema:datePublished 2016-04
    22 schema:datePublishedReg 2016-04-01
    23 schema:description We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
    24 schema:genre research_article
    25 schema:inLanguage en
    26 schema:isAccessibleForFree true
    27 schema:isPartOf N141103258e5543acac29338a61fa04e2
    28 Nece0093584744782ac47ccd8db91e2de
    29 sg:journal.1051009
    30 schema:name Admissible Bases Via Stable Canonical Rules
    31 schema:pagination 317-341
    32 schema:productId N5a6acc90c4bc481e974b412b78dfbd90
    33 N8d8030ea8b53492c9cb7d6d051c3aeec
    34 Nad7cb37c89e349c5a87e53f32dadc740
    35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007808794
    36 https://doi.org/10.1007/s11225-015-9642-z
    37 schema:sdDatePublished 2019-04-11T01:09
    38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    39 schema:sdPublisher N84ffc0ec54984db092b8088b3f950ec0
    40 schema:url http://link.springer.com/10.1007%2Fs11225-015-9642-z
    41 sgo:license sg:explorer/license/
    42 sgo:sdDataset articles
    43 rdf:type schema:ScholarlyArticle
    44 N08d4a496cce14396879ee0ea9e16a680 rdf:first sg:person.010504205424.74
    45 rdf:rest N2bf270a9d15543b0a51a3db8c1dc201b
    46 N141103258e5543acac29338a61fa04e2 schema:volumeNumber 104
    47 rdf:type schema:PublicationVolume
    48 N2bf270a9d15543b0a51a3db8c1dc201b rdf:first sg:person.014222140523.92
    49 rdf:rest Nbf403466721f4665936176277103f544
    50 N5a6acc90c4bc481e974b412b78dfbd90 schema:name dimensions_id
    51 schema:value pub.1007808794
    52 rdf:type schema:PropertyValue
    53 N84ffc0ec54984db092b8088b3f950ec0 schema:name Springer Nature - SN SciGraph project
    54 rdf:type schema:Organization
    55 N8d8030ea8b53492c9cb7d6d051c3aeec schema:name doi
    56 schema:value 10.1007/s11225-015-9642-z
    57 rdf:type schema:PropertyValue
    58 Nad7cb37c89e349c5a87e53f32dadc740 schema:name readcube_id
    59 schema:value 25326cee4656db0acc438c17c5d13ee60c3086ad066a559ce822d29a4df77ab4
    60 rdf:type schema:PropertyValue
    61 Nbf403466721f4665936176277103f544 rdf:first sg:person.011570703446.32
    62 rdf:rest Ndeb430faf212480fa46449d3f0b05b99
    63 Ndeb430faf212480fa46449d3f0b05b99 rdf:first sg:person.011104363657.37
    64 rdf:rest rdf:nil
    65 Nece0093584744782ac47ccd8db91e2de schema:issueNumber 2
    66 rdf:type schema:PublicationIssue
    67 sg:journal.1051009 schema:issn 0039-3215
    68 1572-8730
    69 schema:name Studia Logica
    70 rdf:type schema:Periodical
    71 sg:person.010504205424.74 schema:affiliation https://www.grid.ac/institutes/grid.7177.6
    72 schema:familyName Bezhanishvili
    73 schema:givenName Nick
    74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010504205424.74
    75 rdf:type schema:Person
    76 sg:person.011104363657.37 schema:affiliation https://www.grid.ac/institutes/grid.26193.3f
    77 schema:familyName Jibladze
    78 schema:givenName Mamuka
    79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011104363657.37
    80 rdf:type schema:Person
    81 sg:person.011570703446.32 schema:affiliation https://www.grid.ac/institutes/grid.4708.b
    82 schema:familyName Ghilardi
    83 schema:givenName Silvio
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011570703446.32
    85 rdf:type schema:Person
    86 sg:person.014222140523.92 schema:affiliation https://www.grid.ac/institutes/grid.26193.3f
    87 schema:familyName Gabelaia
    88 schema:givenName David
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014222140523.92
    90 rdf:type schema:Person
    91 sg:pub.10.1007/bf01978706 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044978040
    92 https://doi.org/10.1007/bf01978706
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/s00012-007-2032-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007363893
    95 https://doi.org/10.1007/s00012-007-2032-2
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/s10992-015-9380-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004656636
    98 https://doi.org/10.1007/s10992-015-9380-8
    99 rdf:type schema:CreativeWork
    100 https://doi.org/10.1002/1521-3870(200111)47:4<441::aid-malq441>3.0.co;2-j schema:sameAs https://app.dimensions.ai/details/publication/pub.1008079169
    101 rdf:type schema:CreativeWork
    102 https://doi.org/10.1016/0168-0072(90)90055-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006491535
    103 rdf:type schema:CreativeWork
    104 https://doi.org/10.1016/j.apal.2010.09.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042198370
    105 rdf:type schema:CreativeWork
    106 https://doi.org/10.1016/j.apal.2013.01.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012672390
    107 rdf:type schema:CreativeWork
    108 https://doi.org/10.1016/s0168-0072(99)00032-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040756965
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1016/s1570-2464(07)80009-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022748945
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1017/cbo9780511809088 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098730623
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1017/cbo9781107050884 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098700872
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1093/jigpal/jzn004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059797824
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.2178/jsl/1254748686 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041484379
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.2307/2271891 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030161054
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.2307/2275372 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010973755
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.2307/2275439 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047138028
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.2307/2586506 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039585331
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.2307/2694922 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049112994
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.3166/jancl.20.193-217 schema:sameAs https://app.dimensions.ai/details/publication/pub.1071066205
    131 rdf:type schema:CreativeWork
    132 https://www.grid.ac/institutes/grid.26193.3f schema:alternateName Tbilisi State University
    133 schema:name Department of Mathematical Logic, TSU Razmadze Mathematical Institute, 6 Tamarashvili Str., 0177, Tbilisi, Georgia
    134 rdf:type schema:Organization
    135 https://www.grid.ac/institutes/grid.4708.b schema:alternateName University of Milan
    136 schema:name Dipartimento di Matematica, Università degli Studi di Milano, via C. Saldini 50, 20133, Milano, Italy
    137 rdf:type schema:Organization
    138 https://www.grid.ac/institutes/grid.7177.6 schema:alternateName University of Amsterdam
    139 schema:name Institute for Logic, Language and Computation, University of Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands
    140 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...