Correspondence Between Kripke Frames and Projective Geometries
Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Zhong, Shengyang [verfasserIn] |
|---|
| Format: |
Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2017 |
|---|
| Schlagwörter: |
|---|
| Systematik: |
|
|---|
| Anmerkung: |
© Springer Science+Business Media Dordrecht 2017 |
|---|
| Übergeordnetes Werk: |
Enthalten in: Studia logica - Springer Netherlands, 1953, 106(2017), 1 vom: 03. Juni, Seite 167-189 |
|---|---|
| Übergeordnetes Werk: |
volume:106 ; year:2017 ; number:1 ; day:03 ; month:06 ; pages:167-189 |
| Links: |
|---|
| DOI / URN: |
10.1007/s11225-017-9733-0 |
|---|
| Katalog-ID: |
OLC2033924572 |
|---|
| LEADER | 01000caa a22002652 4500 | ||
|---|---|---|---|
| 001 | OLC2033924572 | ||
| 003 | DE-627 | ||
| 005 | 20230504053539.0 | ||
| 007 | tu | ||
| 008 | 200819s2017 xx ||||| 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s11225-017-9733-0 |2 doi | |
| 035 | |a (DE-627)OLC2033924572 | ||
| 035 | |a (DE-He213)s11225-017-9733-0-p | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 000 |a 100 |q VZ |
| 084 | |a 5,1 |a 17,1 |2 ssgn | ||
| 084 | |a PHILOS |q DE-12 |2 fid | ||
| 084 | |a LING |q DE-30 |2 fid | ||
| 084 | |a SA 8098 |q VZ |2 rvk | ||
| 084 | |a SA 8098 |q VZ |2 rvk | ||
| 084 | |a SA 8098 |a CA 1000 |q VZ |2 rvk | ||
| 100 | 1 | |a Zhong, Shengyang |e verfasserin |0 (orcid)0000-0001-5538-0002 |4 aut | |
| 245 | 1 | 0 | |a Correspondence Between Kripke Frames and Projective Geometries |
| 264 | 1 | |c 2017 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 500 | |a © Springer Science+Business Media Dordrecht 2017 | ||
| 520 | |a Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. | ||
| 650 | 4 | |a Kripke frame | |
| 650 | 4 | |a Projective geometry | |
| 650 | 4 | |a Quantum logic | |
| 650 | 4 | |a Spatial logic | |
| 650 | 4 | |a Modal logic | |
| 773 | 0 | 8 | |i Enthalten in |t Studia logica |d Springer Netherlands, 1953 |g 106(2017), 1 vom: 03. Juni, Seite 167-189 |w (DE-627)129086916 |w (DE-600)4997-9 |w (DE-576)014421186 |x 0039-3215 |7 nnns |
| 773 | 1 | 8 | |g volume:106 |g year:2017 |g number:1 |g day:03 |g month:06 |g pages:167-189 |
| 856 | 4 | 1 | |u https://doi.org/10.1007/s11225-017-9733-0 |z lizenzpflichtig |3 Volltext |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a SYSFLAG_A | ||
| 912 | |a GBV_OLC | ||
| 912 | |a FID-PHILOS | ||
| 912 | |a FID-LING | ||
| 912 | |a SSG-OLC-PHI | ||
| 912 | |a SSG-OPC-MAT | ||
| 912 | |a GBV_ILN_11 | ||
| 912 | |a GBV_ILN_2088 | ||
| 912 | |a GBV_ILN_4035 | ||
| 936 | r | v | |a SA 8098 |
| 936 | r | v | |a SA 8098 |
| 936 | r | v | |a SA 8098 |
| 951 | |a AR | ||
| 952 | |d 106 |j 2017 |e 1 |b 03 |c 06 |h 167-189 | ||
| author_variant |
s z sz |
|---|---|
| matchkey_str |
article:00393215:2017----::orsodneewekikfaeadrjc |
| hierarchy_sort_str |
2017 |
| publishDate |
2017 |
| allfields |
10.1007/s11225-017-9733-0 doi (DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p DE-627 ger DE-627 rakwb eng 000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Zhong, Shengyang verfasserin (orcid)0000-0001-5538-0002 aut Correspondence Between Kripke Frames and Projective Geometries 2017 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media Dordrecht 2017 Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. Kripke frame Projective geometry Quantum logic Spatial logic Modal logic Enthalten in Studia logica Springer Netherlands, 1953 106(2017), 1 vom: 03. Juni, Seite 167-189 (DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 0039-3215 nnns volume:106 year:2017 number:1 day:03 month:06 pages:167-189 https://doi.org/10.1007/s11225-017-9733-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 SA 8098 SA 8098 SA 8098 AR 106 2017 1 03 06 167-189 |
| spelling |
10.1007/s11225-017-9733-0 doi (DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p DE-627 ger DE-627 rakwb eng 000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Zhong, Shengyang verfasserin (orcid)0000-0001-5538-0002 aut Correspondence Between Kripke Frames and Projective Geometries 2017 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media Dordrecht 2017 Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. Kripke frame Projective geometry Quantum logic Spatial logic Modal logic Enthalten in Studia logica Springer Netherlands, 1953 106(2017), 1 vom: 03. Juni, Seite 167-189 (DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 0039-3215 nnns volume:106 year:2017 number:1 day:03 month:06 pages:167-189 https://doi.org/10.1007/s11225-017-9733-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 SA 8098 SA 8098 SA 8098 AR 106 2017 1 03 06 167-189 |
| allfields_unstemmed |
10.1007/s11225-017-9733-0 doi (DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p DE-627 ger DE-627 rakwb eng 000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Zhong, Shengyang verfasserin (orcid)0000-0001-5538-0002 aut Correspondence Between Kripke Frames and Projective Geometries 2017 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media Dordrecht 2017 Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. Kripke frame Projective geometry Quantum logic Spatial logic Modal logic Enthalten in Studia logica Springer Netherlands, 1953 106(2017), 1 vom: 03. Juni, Seite 167-189 (DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 0039-3215 nnns volume:106 year:2017 number:1 day:03 month:06 pages:167-189 https://doi.org/10.1007/s11225-017-9733-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 SA 8098 SA 8098 SA 8098 AR 106 2017 1 03 06 167-189 |
| allfieldsGer |
10.1007/s11225-017-9733-0 doi (DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p DE-627 ger DE-627 rakwb eng 000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Zhong, Shengyang verfasserin (orcid)0000-0001-5538-0002 aut Correspondence Between Kripke Frames and Projective Geometries 2017 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media Dordrecht 2017 Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. Kripke frame Projective geometry Quantum logic Spatial logic Modal logic Enthalten in Studia logica Springer Netherlands, 1953 106(2017), 1 vom: 03. Juni, Seite 167-189 (DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 0039-3215 nnns volume:106 year:2017 number:1 day:03 month:06 pages:167-189 https://doi.org/10.1007/s11225-017-9733-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 SA 8098 SA 8098 SA 8098 AR 106 2017 1 03 06 167-189 |
| allfieldsSound |
10.1007/s11225-017-9733-0 doi (DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p DE-627 ger DE-627 rakwb eng 000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Zhong, Shengyang verfasserin (orcid)0000-0001-5538-0002 aut Correspondence Between Kripke Frames and Projective Geometries 2017 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media Dordrecht 2017 Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. Kripke frame Projective geometry Quantum logic Spatial logic Modal logic Enthalten in Studia logica Springer Netherlands, 1953 106(2017), 1 vom: 03. Juni, Seite 167-189 (DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 0039-3215 nnns volume:106 year:2017 number:1 day:03 month:06 pages:167-189 https://doi.org/10.1007/s11225-017-9733-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 SA 8098 SA 8098 SA 8098 AR 106 2017 1 03 06 167-189 |
| language |
English |
| source |
Enthalten in Studia logica 106(2017), 1 vom: 03. Juni, Seite 167-189 volume:106 year:2017 number:1 day:03 month:06 pages:167-189 |
| sourceStr |
Enthalten in Studia logica 106(2017), 1 vom: 03. Juni, Seite 167-189 volume:106 year:2017 number:1 day:03 month:06 pages:167-189 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| topic_facet |
Kripke frame Projective geometry Quantum logic Spatial logic Modal logic |
| dewey-raw |
000 |
| isfreeaccess_bool |
false |
| container_title |
Studia logica |
| authorswithroles_txt_mv |
Zhong, Shengyang @@aut@@ |
| publishDateDaySort_date |
2017-06-03T00:00:00Z |
| hierarchy_top_id |
129086916 |
| dewey-sort |
0 |
| id |
OLC2033924572 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2033924572</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504053539.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s2017 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11225-017-9733-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2033924572</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11225-017-9733-0-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">000</subfield><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="q">DE-12</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="a">CA 1000</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhong, Shengyang</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0001-5538-0002</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correspondence Between Kripke Frames and Projective Geometries</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2017</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Science+Business Media Dordrecht 2017</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kripke frame</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Projective geometry</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Spatial logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modal logic</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Studia logica</subfield><subfield code="d">Springer Netherlands, 1953</subfield><subfield code="g">106(2017), 1 vom: 03. Juni, Seite 167-189</subfield><subfield code="w">(DE-627)129086916</subfield><subfield code="w">(DE-600)4997-9</subfield><subfield code="w">(DE-576)014421186</subfield><subfield code="x">0039-3215</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:106</subfield><subfield code="g">year:2017</subfield><subfield code="g">number:1</subfield><subfield code="g">day:03</subfield><subfield code="g">month:06</subfield><subfield code="g">pages:167-189</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11225-017-9733-0</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">106</subfield><subfield code="j">2017</subfield><subfield code="e">1</subfield><subfield code="b">03</subfield><subfield code="c">06</subfield><subfield code="h">167-189</subfield></datafield></record></collection>
|
| author |
Zhong, Shengyang |
| spellingShingle |
Zhong, Shengyang ddc 000 ssgn 5,1 fid PHILOS fid LING rvk SA 8098 misc Kripke frame misc Projective geometry misc Quantum logic misc Spatial logic misc Modal logic Correspondence Between Kripke Frames and Projective Geometries |
| authorStr |
Zhong, Shengyang |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)129086916 |
| format |
Article |
| dewey-ones |
000 - Computer science, information & general works 100 - Philosophy & psychology |
| delete_txt_mv |
keep |
| author_role |
aut |
| collection |
OLC |
| remote_str |
false |
| illustrated |
Not Illustrated |
| issn |
0039-3215 |
| topic_title |
000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk Correspondence Between Kripke Frames and Projective Geometries Kripke frame Projective geometry Quantum logic Spatial logic Modal logic |
| topic |
ddc 000 ssgn 5,1 fid PHILOS fid LING rvk SA 8098 misc Kripke frame misc Projective geometry misc Quantum logic misc Spatial logic misc Modal logic |
| topic_unstemmed |
ddc 000 ssgn 5,1 fid PHILOS fid LING rvk SA 8098 misc Kripke frame misc Projective geometry misc Quantum logic misc Spatial logic misc Modal logic |
| topic_browse |
ddc 000 ssgn 5,1 fid PHILOS fid LING rvk SA 8098 misc Kripke frame misc Projective geometry misc Quantum logic misc Spatial logic misc Modal logic |
| format_facet |
Aufsätze Gedruckte Aufsätze |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
nc |
| hierarchy_parent_title |
Studia logica |
| hierarchy_parent_id |
129086916 |
| dewey-tens |
000 - Computer science, knowledge & systems 100 - Philosophy |
| hierarchy_top_title |
Studia logica |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)129086916 (DE-600)4997-9 (DE-576)014421186 |
| title |
Correspondence Between Kripke Frames and Projective Geometries |
| ctrlnum |
(DE-627)OLC2033924572 (DE-He213)s11225-017-9733-0-p |
| title_full |
Correspondence Between Kripke Frames and Projective Geometries |
| author_sort |
Zhong, Shengyang |
| journal |
Studia logica |
| journalStr |
Studia logica |
| lang_code |
eng |
| isOA_bool |
false |
| dewey-hundreds |
000 - Computer science, information & general works 100 - Philosophy & psychology |
| recordtype |
marc |
| publishDateSort |
2017 |
| contenttype_str_mv |
txt |
| container_start_page |
167 |
| author_browse |
Zhong, Shengyang |
| container_volume |
106 |
| class |
000 100 VZ 5,1 17,1 ssgn PHILOS DE-12 fid LING DE-30 fid SA 8098 VZ rvk SA 8098 CA 1000 VZ rvk |
| format_se |
Aufsätze |
| author-letter |
Zhong, Shengyang |
| doi_str_mv |
10.1007/s11225-017-9733-0 |
| normlink |
(ORCID)0000-0001-5538-0002 |
| normlink_prefix_str_mv |
(orcid)0000-0001-5538-0002 |
| dewey-full |
000 100 |
| title_sort |
correspondence between kripke frames and projective geometries |
| title_auth |
Correspondence Between Kripke Frames and Projective Geometries |
| abstract |
Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. © Springer Science+Business Media Dordrecht 2017 |
| abstractGer |
Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. © Springer Science+Business Media Dordrecht 2017 |
| abstract_unstemmed |
Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. © Springer Science+Business Media Dordrecht 2017 |
| collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI SSG-OPC-MAT GBV_ILN_11 GBV_ILN_2088 GBV_ILN_4035 |
| container_issue |
1 |
| title_short |
Correspondence Between Kripke Frames and Projective Geometries |
| url |
https://doi.org/10.1007/s11225-017-9733-0 |
| remote_bool |
false |
| ppnlink |
129086916 |
| mediatype_str_mv |
n |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| doi_str |
10.1007/s11225-017-9733-0 |
| up_date |
2024-07-03T18:55:23.084Z |
| _version_ |
1803585242356776961 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2033924572</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504053539.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s2017 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11225-017-9733-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2033924572</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11225-017-9733-0-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">000</subfield><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="q">DE-12</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 8098</subfield><subfield code="a">CA 1000</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhong, Shengyang</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0001-5538-0002</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correspondence Between Kripke Frames and Projective Geometries</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2017</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Science+Business Media Dordrecht 2017</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to pure orthogeometries (or, equivalently, projective geometries with pure polarities), irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kripke frame</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Projective geometry</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Spatial logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modal logic</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Studia logica</subfield><subfield code="d">Springer Netherlands, 1953</subfield><subfield code="g">106(2017), 1 vom: 03. Juni, Seite 167-189</subfield><subfield code="w">(DE-627)129086916</subfield><subfield code="w">(DE-600)4997-9</subfield><subfield code="w">(DE-576)014421186</subfield><subfield code="x">0039-3215</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:106</subfield><subfield code="g">year:2017</subfield><subfield code="g">number:1</subfield><subfield code="g">day:03</subfield><subfield code="g">month:06</subfield><subfield code="g">pages:167-189</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11225-017-9733-0</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 8098</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">106</subfield><subfield code="j">2017</subfield><subfield code="e">1</subfield><subfield code="b">03</subfield><subfield code="c">06</subfield><subfield code="h">167-189</subfield></datafield></record></collection>
|
| score |
7.400154 |