{"entities":{"Q989422":{"pageid":991270,"ns":120,"title":"Item:Q989422","lastrevid":65725356,"modified":"2026-04-12T04:56:50Z","type":"item","id":"Q989422","labels":{"en":{"language":"en","value":"Point-free foundation of geometry and multivalued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773619"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$A478D1B3-BFAD-40AE-A8D9-830BE7D1898F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8373a97eabb04b88906f51bfb99cc3c35f485756","datavalue":{"value":{"text":"Point-free foundation of geometry and multivalued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989422$ADBB8CD3-65DD-42D0-9E73-D5A2053634D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8213a61a11f475fba645866d599fbae8f35b2c","datavalue":{"value":"1194.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$9EC174F6-6A4F-4D15-86DD-C03FEC1E4DD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f34809201692cb0602dc4da2d2f5a46eaadc774","datavalue":{"value":"10.1215/00294527-2010-024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$CB422F51-16CA-4257-8356-91488BC44972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b822fa0f46f22f43098cba7c0e1c1014e27885e3","datavalue":{"value":{"entity-type":"item","numeric-id":835119,"id":"Q835119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$0CBA05A7-C109-4581-A748-6672F090B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47c632a6892c705a778626aeac00adf94f0a025","datavalue":{"value":{"entity-type":"item","numeric-id":178971,"id":"Q178971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$7149E6D9-F6C3-421C-878B-DA0C789C7B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b60fd800151c6e277c3575ef1ef632d68700a8","datavalue":{"value":{"entity-type":"item","numeric-id":989421,"id":"Q989421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$E9C2024F-421B-453D-BF29-EAACE944B543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$5503586A-577A-410D-AFB8-A7A2626E02F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989422$5707AF00-86E3-48D4-B4E1-F84CC0270078","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdad5c1a5a0eec932c16e55c6e99bbededd363f9","datavalue":{"value":"\\textit{A. N. Whitehead} introduced in [The concept of nature. Cambridge: Cambridge University Press (1920; JFM 47.0049.03)] and in [An enquiry concerning the principles of natural knowledge. Cambridge: Cambridge University Press (1919; JFM 47.0049.02)] a variant of mereology (the part-whole theory) based on \\textit{events} and the \\textit{extension} relation. Moving closer to a point-free geometry, he later replaced in [Process and reality. Cambridge: Cambridge University Press (1929; JFM 55.0035.03)] the notion of extension by that of \\textit{contact between two regions}. In this paper, the authors reformulate Whitehead's philosophically worded theory into one in first-order logic, discarding superfluous axioms, and show that the move from an extension-based to a connection-based theory was necessary, given that ``while it is possible to define the inclusion from the connection relation the converse fails.'' They also show that by reinterpreting the inclusion-based theory as a theory in multi-valued (in fact, \\([0,1]\\)-valued) logic, it is possible to define the contact relation in terms of the extension relation in the resulting fuzzy structures called ``graded inclusion spaces of regions''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$24603598-4085-4678-948C-67BA60903F2C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$4E67DD10-DFF4-4303-9BF5-A686B09C6E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$AC69271F-5C9C-4874-9714-D16BA414AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$BFD9F06C-4BDB-4354-BB46-299EF4DCF2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$0DD5DC2C-ED39-4BDC-8AD8-70EA1791BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$52BFEEEE-64D8-45D0-9444-782B66D7FAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c040db0159c3fc88fd0fb05b74f984a20dda52d7","datavalue":{"value":"5773619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$5CCA72D4-08A8-4342-869C-BDD5B4424A21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795bf3eee39bc9af4fcb7cd8333893f9f621f259","datavalue":{"value":"foundation of geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$4EC6F62A-6877-4D8B-8BC9-EE56CB17987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8767abfa81cc0f158982236bb9b2b7cf7190491","datavalue":{"value":"point-free geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$B6E11A02-F6F6-415B-82F9-1B5F10CA07F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189e00619e6bcfc238187c6006b17309d0cbf7c4","datavalue":{"value":"Whitehead","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$FC168270-B0C4-4A52-8CD8-A61909CDAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856e320dea003be8066c713b15ecd4f50d63e44b","datavalue":{"value":"multi-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$4CE59659-E674-496E-BF9A-80189C811FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75d2f1c083dbb5b44fa5f35f298c475ee214e33","datavalue":{"value":"inclusion spaces of regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$3E6066F3-0BCD-4E85-BF4D-4687457FD6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2109df8a16b8601bdeadcd31af5e19280c943754","datavalue":{"value":"contact relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$3A9C43E9-BDAB-4573-BDC9-3CA1EBE3A87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a784aa1aa22f68c8d332ba9ff38c4cfa4bcf85f7","datavalue":{"value":"extension relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989422$9FC70C69-6F33-4F79-80B9-DE1C409700BB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989422$96117F9A-0B06-406E-90F9-03C1F5C23FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"018ff9615274bd9e8ea57f53af618df7eb918ddc","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-024","type":"string"},"datatype":"url"},"type":"statement","id":"Q989422$A176D7A7-B3E5-44F1-BBAF-E0CAA051D9FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe7d597107eb6550c4979abb47957811c88d4a91","datavalue":{"value":"W2107628822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989422$E14D528F-446B-40EF-B738-A5F651FA68EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364f1f72d46c691e8dd0ab618159ee66625a56e0","datavalue":{"value":{"entity-type":"item","numeric-id":3295804,"id":"Q3295804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbdafc89da4087e2bb23a2cedce8d5ed057b039","datavalue":{"value":{"amount":"+0.8792241811752319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989422$F12C7A33-0F2E-4458-A5B9-D194F9DEA3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2fb1432674f3e1bcd8bb9274969e78d1def0c1","datavalue":{"value":{"entity-type":"item","numeric-id":2987754,"id":"Q2987754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae41b7af47f73b91d3dd6420009b7f68ac287d47","datavalue":{"value":{"amount":"+0.8658299446105957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989422$8F54DB19-73C0-4C64-9CD9-B53FC1727E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4954447a2072472c910bf7681758aa639647b826","datavalue":{"value":{"entity-type":"item","numeric-id":1355124,"id":"Q1355124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c761bf9dfad84fbd60b22e6f7e8f8cace9880afd","datavalue":{"value":{"amount":"+0.8085476756095886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989422$3E9C6168-49E6-4CA8-BD8C-866FF0700FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedc1a7e0089bb31a5cec79330fab1e2548afaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5133993,"id":"Q5133993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c761bf9dfad84fbd60b22e6f7e8f8cace9880afd","datavalue":{"value":{"amount":"+0.8085476756095886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989422$3C63CA9F-58DA-40E2-A016-FA3B2F275B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6546d2512d776eaafa052918c37763bc440981","datavalue":{"value":{"entity-type":"item","numeric-id":3400302,"id":"Q3400302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd79dda16586cee61fa853807c010425fd8b9ad","datavalue":{"value":{"amount":"+0.7904118895530701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989422$8886A3C0-1D3C-42E6-89DB-06048BF747EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Point-free foundation of geometry and multivalued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Point-free_foundation_of_geometry_and_multivalued_logic"}}}}}