Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1989-12

AUTHORS

Nguyen Cat Ho, Helena Rasiowa

ABSTRACT

Semi-Post algebras of any type T being a poset have been introduced and investigated in [CR87a], [CR87b]. Plain Semi-Post algebras are in this paper singled out among semi-Post algebras because of their simplicity, greatest similarity with Post algebras as well as their importance in logics for approximation reasoning ([Ra87a], [Ra87b], [RaEp87]). They are pseudo-Boolean algebras generated in a sense by corresponding Boolean algebras and a poset T. Every element has a unique descending representation by means of elements in a corresponding Boolean algebra and primitive Post constants which form a poset T. An axiomatization and another characterization, subalgebras, homomorphisms, congruences determined by special filters and a representability theory of these algebras, connected with that for Boolean algebras, are the subject of this paper. More... »

PAGES

509-530

References to SciGraph publications

Journal

TITLE

Studia Logica

ISSUE

4

VOLUME

48

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bf00370204

DOI

http://dx.doi.org/10.1007/bf00370204

DIMENSIONS

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


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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Warsaw", 
          "id": "https://www.grid.ac/institutes/grid.12847.38", 
          "name": [
            "Institute of Computer Sciences and Cybernetics, National Institute of Sciences of Vietnam, Hanoi, Vietnam", 
            "Institute of Mathematics, University of Warsaw, PKiN, 00-901, Warszawa, Poland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ho", 
        "givenName": "Nguyen Cat", 
        "id": "sg:person.015760146333.96", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015760146333.96"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Warsaw", 
          "id": "https://www.grid.ac/institutes/grid.12847.38", 
          "name": [
            "Institute of Computer Sciences and Cybernetics, National Institute of Sciences of Vietnam, Hanoi, Vietnam", 
            "Institute of Mathematics, University of Warsaw, PKiN, 00-901, Warszawa, Poland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rasiowa", 
        "givenName": "Helena", 
        "id": "sg:person.014065263221.95", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014065263221.95"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-94-010-1161-7_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004385747", 
          "https://doi.org/10.1007/978-94-010-1161-7_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-50241-6_38", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011779783", 
          "https://doi.org/10.1007/3-540-50241-6_38"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370427", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012422951", 
          "https://doi.org/10.1007/bf00370427"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370427", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012422951", 
          "https://doi.org/10.1007/bf00370427"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370377", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015478213", 
          "https://doi.org/10.1007/bf00370377"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370377", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015478213", 
          "https://doi.org/10.1007/bf00370377"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/s0002-9947-1960-0112855-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020057550"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370378", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039941446", 
          "https://doi.org/10.1007/bf00370378"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00370378", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039941446", 
          "https://doi.org/10.1007/bf00370378"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1045547780", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1045547780", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4064/fm-37-1-193-200", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1091702494"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4064/fm-67-1-133-145", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1091799625"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1989-12", 
    "datePublishedReg": "1989-12-01", 
    "description": "Semi-Post algebras of any type T being a poset have been introduced and investigated in [CR87a], [CR87b]. Plain Semi-Post algebras are in this paper singled out among semi-Post algebras because of their simplicity, greatest similarity with Post algebras as well as their importance in logics for approximation reasoning ([Ra87a], [Ra87b], [RaEp87]). They are pseudo-Boolean algebras generated in a sense by corresponding Boolean algebras and a poset T. Every element has a unique descending representation by means of elements in a corresponding Boolean algebra and primitive Post constants which form a poset T. An axiomatization and another characterization, subalgebras, homomorphisms, congruences determined by special filters and a representability theory of these algebras, connected with that for Boolean algebras, are the subject of this paper.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf00370204", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1051009", 
        "issn": [
          "0039-3215", 
          "1572-8730"
        ], 
        "name": "Studia Logica", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "48"
      }
    ], 
    "name": "Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability", 
    "pagination": "509-530", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf00370204"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "b371e7d1fa6f0f0827cfd5865d8b3d8548a71cd0ffe990e91160d6cccb5b5db4"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1037669371"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf00370204", 
      "https://app.dimensions.ai/details/publication/pub.1037669371"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-15T08:52", 
    "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/0000000374_0000000374/records_119746_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF00370204"
  }
]
 

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/bf00370204'

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/bf00370204'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf00370204'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf00370204'


 

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

100 TRIPLES      21 PREDICATES      36 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf00370204 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N6ffc0d8256ac4205bf26aece61340f90
4 schema:citation sg:pub.10.1007/3-540-50241-6_38
5 sg:pub.10.1007/978-94-010-1161-7_5
6 sg:pub.10.1007/bf00370377
7 sg:pub.10.1007/bf00370378
8 sg:pub.10.1007/bf00370427
9 https://app.dimensions.ai/details/publication/pub.1045547780
10 https://doi.org/10.1090/s0002-9947-1960-0112855-8
11 https://doi.org/10.4064/fm-37-1-193-200
12 https://doi.org/10.4064/fm-67-1-133-145
13 schema:datePublished 1989-12
14 schema:datePublishedReg 1989-12-01
15 schema:description Semi-Post algebras of any type T being a poset have been introduced and investigated in [CR87a], [CR87b]. Plain Semi-Post algebras are in this paper singled out among semi-Post algebras because of their simplicity, greatest similarity with Post algebras as well as their importance in logics for approximation reasoning ([Ra87a], [Ra87b], [RaEp87]). They are pseudo-Boolean algebras generated in a sense by corresponding Boolean algebras and a poset T. Every element has a unique descending representation by means of elements in a corresponding Boolean algebra and primitive Post constants which form a poset T. An axiomatization and another characterization, subalgebras, homomorphisms, congruences determined by special filters and a representability theory of these algebras, connected with that for Boolean algebras, are the subject of this paper.
16 schema:genre research_article
17 schema:inLanguage en
18 schema:isAccessibleForFree false
19 schema:isPartOf N19285a25ea53415a98e3ef082f0c1313
20 N4dff3e930b334680a6de9a28f499a394
21 sg:journal.1051009
22 schema:name Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability
23 schema:pagination 509-530
24 schema:productId N30c9c69b84dd4b229e9b35216c3ac580
25 N9d4c53fb33b642fb8d7943d2d282a8f9
26 Nbb24249bb23342c0b67c62ac30ed40e9
27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037669371
28 https://doi.org/10.1007/bf00370204
29 schema:sdDatePublished 2019-04-15T08:52
30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
31 schema:sdPublisher N1d8cce5ce00b4098b12fd4db1fe70c8a
32 schema:url http://link.springer.com/10.1007/BF00370204
33 sgo:license sg:explorer/license/
34 sgo:sdDataset articles
35 rdf:type schema:ScholarlyArticle
36 N03344e72c17f49d3998964c4551fc477 rdf:first sg:person.014065263221.95
37 rdf:rest rdf:nil
38 N19285a25ea53415a98e3ef082f0c1313 schema:volumeNumber 48
39 rdf:type schema:PublicationVolume
40 N1d8cce5ce00b4098b12fd4db1fe70c8a schema:name Springer Nature - SN SciGraph project
41 rdf:type schema:Organization
42 N30c9c69b84dd4b229e9b35216c3ac580 schema:name readcube_id
43 schema:value b371e7d1fa6f0f0827cfd5865d8b3d8548a71cd0ffe990e91160d6cccb5b5db4
44 rdf:type schema:PropertyValue
45 N4dff3e930b334680a6de9a28f499a394 schema:issueNumber 4
46 rdf:type schema:PublicationIssue
47 N6ffc0d8256ac4205bf26aece61340f90 rdf:first sg:person.015760146333.96
48 rdf:rest N03344e72c17f49d3998964c4551fc477
49 N9d4c53fb33b642fb8d7943d2d282a8f9 schema:name dimensions_id
50 schema:value pub.1037669371
51 rdf:type schema:PropertyValue
52 Nbb24249bb23342c0b67c62ac30ed40e9 schema:name doi
53 schema:value 10.1007/bf00370204
54 rdf:type schema:PropertyValue
55 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
56 schema:name Mathematical Sciences
57 rdf:type schema:DefinedTerm
58 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
59 schema:name Pure Mathematics
60 rdf:type schema:DefinedTerm
61 sg:journal.1051009 schema:issn 0039-3215
62 1572-8730
63 schema:name Studia Logica
64 rdf:type schema:Periodical
65 sg:person.014065263221.95 schema:affiliation https://www.grid.ac/institutes/grid.12847.38
66 schema:familyName Rasiowa
67 schema:givenName Helena
68 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014065263221.95
69 rdf:type schema:Person
70 sg:person.015760146333.96 schema:affiliation https://www.grid.ac/institutes/grid.12847.38
71 schema:familyName Ho
72 schema:givenName Nguyen Cat
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015760146333.96
74 rdf:type schema:Person
75 sg:pub.10.1007/3-540-50241-6_38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011779783
76 https://doi.org/10.1007/3-540-50241-6_38
77 rdf:type schema:CreativeWork
78 sg:pub.10.1007/978-94-010-1161-7_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004385747
79 https://doi.org/10.1007/978-94-010-1161-7_5
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/bf00370377 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015478213
82 https://doi.org/10.1007/bf00370377
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/bf00370378 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039941446
85 https://doi.org/10.1007/bf00370378
86 rdf:type schema:CreativeWork
87 sg:pub.10.1007/bf00370427 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012422951
88 https://doi.org/10.1007/bf00370427
89 rdf:type schema:CreativeWork
90 https://app.dimensions.ai/details/publication/pub.1045547780 schema:CreativeWork
91 https://doi.org/10.1090/s0002-9947-1960-0112855-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020057550
92 rdf:type schema:CreativeWork
93 https://doi.org/10.4064/fm-37-1-193-200 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091702494
94 rdf:type schema:CreativeWork
95 https://doi.org/10.4064/fm-67-1-133-145 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091799625
96 rdf:type schema:CreativeWork
97 https://www.grid.ac/institutes/grid.12847.38 schema:alternateName University of Warsaw
98 schema:name Institute of Computer Sciences and Cybernetics, National Institute of Sciences of Vietnam, Hanoi, Vietnam
99 Institute of Mathematics, University of Warsaw, PKiN, 00-901, Warszawa, Poland
100 rdf:type schema:Organization
 




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


...