Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2012-04

AUTHORS

Dmitrij Skvortsov

ABSTRACT

The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [8] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: (Q-H + D*), (Q-H + D*&K), (Q-H + D*&K&J). Here Q-H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D* (cf. [12]) is a weakened version of the well-known constant domains principle D. Namely, the formula D states that any individual has ancestors in earlier worlds, and D* states that any individual has -ancestors (i.e., ancestors up to -equality) in earlier worlds. In particular, the logic (Q-H + D*&K&J) is the Kripke sheaf completion of (Q-H + E&K&J), where E is a version of Markov’s principle (cf. [12]). On the other hand, we show that the logic (Q-H + D*&J) is incomplete w.r.t. Kripke sheaves. More... »

PAGES

361-383

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s11225-012-9382-2

DOI

http://dx.doi.org/10.1007/s11225-012-9382-2

DIMENSIONS

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


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", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "All Russian Institute for Scientific and Technical Information", 
          "id": "https://www.grid.ac/institutes/grid.463015.5", 
          "name": [
            "All-Russian Institute of Scientific and Technical Information, Molodogvardejskaja 22, korp.3, kv.29, 121351, Moscow, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Skvortsov", 
        "givenName": "Dmitrij", 
        "id": "sg:person.015211657115.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015211657115.55"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bf01630811", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001700944", 
          "https://doi.org/10.1007/bf01630811"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01620621", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004003384", 
          "https://doi.org/10.1007/bf01620621"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/malq.19890350507", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010002912"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01058533", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014270853", 
          "https://doi.org/10.1007/bf01058533"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2307/2272556", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020483890"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01053062", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020728420", 
          "https://doi.org/10.1007/bf01053062"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01053065", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030304532", 
          "https://doi.org/10.1007/bf01053065"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4613-0609-2_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039825970", 
          "https://doi.org/10.1007/978-1-4613-0609-2_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/b:stud.0000039028.22017.4f", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044627653", 
          "https://doi.org/10.1023/b:stud.0000039028.22017.4f"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s11225-005-3706-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048733332", 
          "https://doi.org/10.1007/s11225-005-3706-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s11225-005-3706-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048733332", 
          "https://doi.org/10.1007/s11225-005-3706-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s11225-005-3706-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048733332", 
          "https://doi.org/10.1007/s11225-005-3706-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0066744", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052762233", 
          "https://doi.org/10.1007/bfb0066744"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.3792/pja/1195519184", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1071427564"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2012-04", 
    "datePublishedReg": "2012-04-01", 
    "description": "The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [8] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: (Q-H + D*), (Q-H + D*&K), (Q-H + D*&K&J). Here Q-H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda\u2019s axiom, and D* (cf. [12]) is a weakened version of the well-known constant domains principle D. Namely, the formula D states that any individual has ancestors in earlier worlds, and D* states that any individual has -ancestors (i.e., ancestors up to -equality) in earlier worlds. In particular, the logic (Q-H + D*&K&J) is the Kripke sheaf completion of (Q-H + E&K&J), where E is a version of Markov\u2019s principle (cf. [12]). On the other hand, we show that the logic (Q-H + D*&J) is incomplete w.r.t. Kripke sheaves.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s11225-012-9382-2", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1051009", 
        "issn": [
          "0039-3215", 
          "1572-8730"
        ], 
        "name": "Studia Logica", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1-2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "100"
      }
    ], 
    "name": "Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle", 
    "pagination": "361-383", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "5e1de76c1eb7a23aefcb69e912f0d3997477d53eb85496674df8920eed4a3819"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s11225-012-9382-2"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1019753265"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s11225-012-9382-2", 
      "https://app.dimensions.ai/details/publication/pub.1019753265"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T13:19", 
    "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_8659_00000521.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2Fs11225-012-9382-2"
  }
]
 

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-012-9382-2'

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-012-9382-2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11225-012-9382-2'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11225-012-9382-2'


 

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

106 TRIPLES      21 PREDICATES      39 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s11225-012-9382-2 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author Nbef3cdd98fce433b96ad604d2d9d3a65
4 schema:citation sg:pub.10.1007/978-1-4613-0609-2_9
5 sg:pub.10.1007/bf01053062
6 sg:pub.10.1007/bf01053065
7 sg:pub.10.1007/bf01058533
8 sg:pub.10.1007/bf01620621
9 sg:pub.10.1007/bf01630811
10 sg:pub.10.1007/bfb0066744
11 sg:pub.10.1007/s11225-005-3706-4
12 sg:pub.10.1023/b:stud.0000039028.22017.4f
13 https://doi.org/10.1002/malq.19890350507
14 https://doi.org/10.2307/2272556
15 https://doi.org/10.3792/pja/1195519184
16 schema:datePublished 2012-04
17 schema:datePublishedReg 2012-04-01
18 schema:description The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [8] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: (Q-H + D*), (Q-H + D*&K), (Q-H + D*&K&J). Here Q-H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D* (cf. [12]) is a weakened version of the well-known constant domains principle D. Namely, the formula D states that any individual has ancestors in earlier worlds, and D* states that any individual has -ancestors (i.e., ancestors up to -equality) in earlier worlds. In particular, the logic (Q-H + D*&K&J) is the Kripke sheaf completion of (Q-H + E&K&J), where E is a version of Markov’s principle (cf. [12]). On the other hand, we show that the logic (Q-H + D*&J) is incomplete w.r.t. Kripke sheaves.
19 schema:genre research_article
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:isPartOf N3e9529e08eb240e3a88f2c95d3ed4964
23 N4205614bfe4341a4ad56062bc62730cf
24 sg:journal.1051009
25 schema:name Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle
26 schema:pagination 361-383
27 schema:productId N16296dbb1f634f82993617272ec6a271
28 N60d220a075a94c1580c51cd83467006d
29 Ne6ffa82c41ea47cf8bb474854b4ecf2f
30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019753265
31 https://doi.org/10.1007/s11225-012-9382-2
32 schema:sdDatePublished 2019-04-10T13:19
33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
34 schema:sdPublisher N83415352c898481bbdc5841bc00a8e62
35 schema:url http://link.springer.com/10.1007%2Fs11225-012-9382-2
36 sgo:license sg:explorer/license/
37 sgo:sdDataset articles
38 rdf:type schema:ScholarlyArticle
39 N16296dbb1f634f82993617272ec6a271 schema:name doi
40 schema:value 10.1007/s11225-012-9382-2
41 rdf:type schema:PropertyValue
42 N3e9529e08eb240e3a88f2c95d3ed4964 schema:issueNumber 1-2
43 rdf:type schema:PublicationIssue
44 N4205614bfe4341a4ad56062bc62730cf schema:volumeNumber 100
45 rdf:type schema:PublicationVolume
46 N60d220a075a94c1580c51cd83467006d schema:name dimensions_id
47 schema:value pub.1019753265
48 rdf:type schema:PropertyValue
49 N83415352c898481bbdc5841bc00a8e62 schema:name Springer Nature - SN SciGraph project
50 rdf:type schema:Organization
51 Nbef3cdd98fce433b96ad604d2d9d3a65 rdf:first sg:person.015211657115.55
52 rdf:rest rdf:nil
53 Ne6ffa82c41ea47cf8bb474854b4ecf2f schema:name readcube_id
54 schema:value 5e1de76c1eb7a23aefcb69e912f0d3997477d53eb85496674df8920eed4a3819
55 rdf:type schema:PropertyValue
56 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
57 schema:name Philosophy and Religious Studies
58 rdf:type schema:DefinedTerm
59 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
60 schema:name Philosophy
61 rdf:type schema:DefinedTerm
62 sg:journal.1051009 schema:issn 0039-3215
63 1572-8730
64 schema:name Studia Logica
65 rdf:type schema:Periodical
66 sg:person.015211657115.55 schema:affiliation https://www.grid.ac/institutes/grid.463015.5
67 schema:familyName Skvortsov
68 schema:givenName Dmitrij
69 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015211657115.55
70 rdf:type schema:Person
71 sg:pub.10.1007/978-1-4613-0609-2_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039825970
72 https://doi.org/10.1007/978-1-4613-0609-2_9
73 rdf:type schema:CreativeWork
74 sg:pub.10.1007/bf01053062 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020728420
75 https://doi.org/10.1007/bf01053062
76 rdf:type schema:CreativeWork
77 sg:pub.10.1007/bf01053065 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030304532
78 https://doi.org/10.1007/bf01053065
79 rdf:type schema:CreativeWork
80 sg:pub.10.1007/bf01058533 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014270853
81 https://doi.org/10.1007/bf01058533
82 rdf:type schema:CreativeWork
83 sg:pub.10.1007/bf01620621 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004003384
84 https://doi.org/10.1007/bf01620621
85 rdf:type schema:CreativeWork
86 sg:pub.10.1007/bf01630811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001700944
87 https://doi.org/10.1007/bf01630811
88 rdf:type schema:CreativeWork
89 sg:pub.10.1007/bfb0066744 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052762233
90 https://doi.org/10.1007/bfb0066744
91 rdf:type schema:CreativeWork
92 sg:pub.10.1007/s11225-005-3706-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048733332
93 https://doi.org/10.1007/s11225-005-3706-4
94 rdf:type schema:CreativeWork
95 sg:pub.10.1023/b:stud.0000039028.22017.4f schema:sameAs https://app.dimensions.ai/details/publication/pub.1044627653
96 https://doi.org/10.1023/b:stud.0000039028.22017.4f
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1002/malq.19890350507 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010002912
99 rdf:type schema:CreativeWork
100 https://doi.org/10.2307/2272556 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020483890
101 rdf:type schema:CreativeWork
102 https://doi.org/10.3792/pja/1195519184 schema:sameAs https://app.dimensions.ai/details/publication/pub.1071427564
103 rdf:type schema:CreativeWork
104 https://www.grid.ac/institutes/grid.463015.5 schema:alternateName All Russian Institute for Scientific and Technical Information
105 schema:name All-Russian Institute of Scientific and Technical Information, Molodogvardejskaja 22, korp.3, kv.29, 121351, Moscow, Russia
106 rdf:type schema:Organization
 




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


...