{"entities":{"Q1037596":{"pageid":1039444,"ns":120,"title":"Item:Q1037596","lastrevid":66603144,"modified":"2026-04-12T11:14:16Z","type":"item","id":"Q1037596","labels":{"en":{"language":"en","value":"A temporal semantics for basic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633557"}},"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":"Q1037596$14E186A5-71FB-4236-A968-94AAD6F301CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46a6c1f3c451db9fbf28ec80963c7100112ae048","datavalue":{"value":{"text":"A temporal semantics for basic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037596$BCBC96F8-4EC3-426E-9961-33981172CF19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b066ae92cc60e5387212b0bb485c6135477193c","datavalue":{"value":"1186.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$EA210DB5-6BD0-41FC-8626-61D05AD72E71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$D05DF527-9F19-4E40-B8C0-698951E43E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4debe34e694b0cffbf43031a6a567b2c79fd48f3","datavalue":{"value":{"entity-type":"item","numeric-id":361852,"id":"Q361852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$B32A5B26-2AFA-4156-BAB8-9119D7C374B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$5AEE77C0-0710-45D8-9F24-AB25E50FCFE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$835EFD6B-3D66-462F-8231-A8A1BCBCB643","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037596$1A851F6B-123D-4791-83D0-B7138A7E0FEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14305eef7279f3c6582b7abcd63cf28cb72d6584","datavalue":{"value":"In this paper, the authors give a temporal semantics of Basic Fuzzy Logic, the many-valued logic of continuous t-norms [see \\textit{P. H\u00e1jek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. The algebraic counterparts of Basic Fuzzy Logic are the BL-algebras. Any linearly ordered BL-algebra can be decomposed as the ordinal sum of linearly ordered MV-algebras (that are the algebraic counterpart of \u0141ukasiewicz logic). Using this decomposition and the completeness theorem of Basic Logic with respect to linearly ordered BL-algebras, a temporal semantics is given for Basic Logic in such a way that the logic of each instant is \u0141ukasiewicz logic with a finite or infinite number of truth values. The main result of the paper is the soundness with respect to flows of time that do not branch in the future and completeness with respect to all finite linear flows of time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$88CC252D-3806-4756-926A-2790E9CE2D21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$20063C8E-4856-4993-9EC7-7BF610F0902A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$9B56EBA7-33F5-4617-A0C2-F3A682BED448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$072D5156-4594-41DD-96F8-306F299CDBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$5E0AE968-E5DC-42FE-A419-52816392FDF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25816835f6a5328af2057a817da8fd64b53d6f9a","datavalue":{"value":"5633557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$4E5F04A0-A26E-4B80-BBC5-C4B07307984C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$D20B4877-6758-4A20-A00B-096AC1CA899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$52461F0F-A701-477D-9A93-CF2B7C808C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$349F067B-CA44-4750-A87C-92A95AC761D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$E5BBDD67-A642-4177-9292-60394203C93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$C2193B0F-046B-4158-B800-EF7CF95A4481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097dd3fcf0a1d0dedc09b02d2c76ca07827a583f","datavalue":{"value":"temporal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037596$B4C5F510-3062-44EE-8CED-1B965AB8D5E7","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":"Q1037596$317FE967-0D55-476D-97BE-7E04ADC06F18","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f825312ea591b34cb3dab9e5bc5ae76794a4056","datavalue":{"value":"Q59321747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$944949A5-7D01-4247-AE68-61AD506A1578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b431c1e9c6a589ebf87cdec624565fa27fae8749","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9192-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037596$0D05FCA7-B7CA-43D6-8A83-2AB8F637702F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed7ebf02844a68ed99ead5eb8d6102b74ff9bf36","datavalue":{"value":"W1991780340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$3CDB211B-C09C-45BE-BEF0-03CCB0E00C9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fafd70556b595d77a31de57c7ab1eaf6f9533c5","datavalue":{"value":{"entity-type":"item","numeric-id":2462673,"id":"Q2462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$4A7EEE0D-E716-4BD7-A8DD-88887A18B1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$595E9F72-5C36-4F32-8233-60998793FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d80ec95e85610e6e8f0705dc36c540fed75d332","datavalue":{"value":{"entity-type":"item","numeric-id":4317872,"id":"Q4317872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$71E8F84C-C317-4747-8829-94CF2CA9C6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdefed849d09e0ef8264b39d5ab1afd3f38011b9","datavalue":{"value":{"entity-type":"item","numeric-id":816863,"id":"Q816863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$761B3C67-07DB-4259-A7E8-1A9162B18FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$A76AA385-6305-42EE-955A-B3DAEC0F1C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fb0c8153a0791ecc97ab5e19763f56bd395d68","datavalue":{"value":{"entity-type":"item","numeric-id":1005947,"id":"Q1005947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$8EA5409E-164C-4C78-9222-AFD7559FF667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$C971C9AB-9A8E-43E7-9E87-3F53416E0C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$79AF8960-42D4-4DDE-9BEF-C5448722E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d55d77f5cb9082cd03774e00855eecf84e8dfe6","datavalue":{"value":{"entity-type":"item","numeric-id":816867,"id":"Q816867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037596$1F4D8AE1-836A-4464-9FC9-A01C8B018AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f139f05917ee66c82e7f802f5cc57d2067730b62","datavalue":{"value":"10.1007/S11225-009-9192-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037596$24F81EAF-08A8-4066-8922-2FA2D31F1756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b158c0d5ed3c1b1c14df37e42a5cacce74ba7f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2353684,"id":"Q2353684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d04e410276ec9b70d1caad73427d523da9336e","datavalue":{"value":{"amount":"+0.7772856950759888","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":"Q1037596$651771BD-E3B4-4E68-8169-51FA72C8E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754212b00930fa9bd62404914d4aff6f7825fcf3","datavalue":{"value":{"entity-type":"item","numeric-id":3373937,"id":"Q3373937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802544f5e628a901adbdcd496a6eba0e7efd5086","datavalue":{"value":{"amount":"+0.7596185207366943","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":"Q1037596$D1912BDB-0AA8-4C1C-A15C-54FDA4763451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622f6bb79cafae0661763a04b6fa89a8d3ccc5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4542603,"id":"Q4542603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c05a3736c33c479aeb49807e4ef874906bc07e","datavalue":{"value":{"amount":"+0.7575274109840393","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":"Q1037596$0573E665-C8B3-4230-893E-5D45EC3D2022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb7994a9357f01733ce06f057183ae9f66db67a","datavalue":{"value":{"entity-type":"item","numeric-id":4982626,"id":"Q4982626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7cbefca5367b52aac180777a38f9b249a78a8b","datavalue":{"value":{"amount":"+0.7554838061332703","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":"Q1037596$A971E003-295B-43E9-8B16-2E5A4165B8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1160f7c30e33b382620fcf3223a14f045d93956d","datavalue":{"value":{"entity-type":"item","numeric-id":1005968,"id":"Q1005968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71aaacbe9c042a4f348cae9e16d2e06569454964","datavalue":{"value":{"amount":"+0.7546170353889465","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":"Q1037596$4E3A65AE-8BF5-4DA9-AF88-8912790E41B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A temporal semantics for basic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_temporal_semantics_for_basic_logic"}}}}}