{"entities":{"Q1077403":{"pageid":1088155,"ns":120,"title":"Item:Q1077403","lastrevid":48946165,"modified":"2026-01-06T06:53:27Z","type":"item","id":"Q1077403","labels":{"en":{"language":"en","value":"Semantical analysis of predicate logics without the contraction rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957063"}},"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":"Q1077403$6F1AEF59-DA50-4704-B269-C0AAF9C0F19E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf00e5ea9c7c26697056a3c919f74e1db66bd517","datavalue":{"value":{"text":"Semantical analysis of predicate logics without the contraction rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077403$893D6A4D-2A21-4A29-8F2E-01FA045126C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abdb17957d4314b3ffcd3b9c1ca36ed6a4fe8f63","datavalue":{"value":"0595.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077403$DA7E57CF-169C-442A-93AE-07023F9C2630","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e422c17d86bc984ddfec0656c1f304bf3ff25235","datavalue":{"value":"10.1007/BF00379766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077403$45C55FBB-0C65-4BBE-AA9A-1959F0A4C050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077403$83E63C44-F31C-4E3E-9F46-AEBC6CE17181","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":"Q1077403$57FBC8B5-915B-42D9-9F46-77F61657FAFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077403$BF68BC01-39C5-4215-B498-29A7020F262E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5150e61242bdc8aeaef16270f5aedc2700c02ab2","datavalue":{"value":"A semantics for some predicate logics without the contraction rule is introduced in this paper. Each structure in our semantics is a partially- ordered monoid which is also a complete meet-semilattice with a constant domain. By using the method developed by the author and \\textit{Y. Komori} in J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018), the completeness theorem is proved. Then it is shown that the above semantics has a close connection with Beth semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$6ABD9B61-A298-4BB6-A14B-1160A780A335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077403$A5FD8FBD-BF29-4D52-93FA-7AACBA7E29AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4c66d4969bedad44d296503e1d953580a8b1d9","datavalue":{"value":"3957063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077403$560004FD-8E02-4756-BFD6-EE92310E110A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$50CF32B3-2C0C-4677-BDA3-09D6FE263DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7a560420159aa094578481c0ba8a1e012e384c","datavalue":{"value":"Beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$6D2CEC9F-48B2-473D-BC15-8F09EADDF4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$82AE7703-7EEB-4CE7-8A89-AFBEE40CCD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1451fa611f6d84e2082d8f1a9dd1ebb78dd127b5","datavalue":{"value":"partially-ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$D3807F85-6BA7-4F0F-9D9F-E2CA14E66491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59441d6b9344f4bdaf0d67a8b2bebcb0ee9d4a3","datavalue":{"value":"complete meet-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$70B51005-9438-48F1-82E9-49443E22EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077403$CA2531C5-D2E0-4298-A366-87D646E39E1B","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":"Q1077403$D9DDD9B5-667F-41F9-B770-6D8D3B042D5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077403$96F05DEC-D4F8-4514-8344-58B431AB4D3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e18a38f47591ba25649edee5dab936c920f1987","datavalue":{"value":"https://doi.org/10.1007/bf00379766","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077403$FC48F1C8-C98D-44B6-AD69-A18C96BB2120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5330827b2b052168dc48cbf0acf6bd3657af7aba","datavalue":{"value":"W2011534128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077403$79519597-181B-4C60-9E56-502D40B9F720","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa027ea21d130aa3a405e3297fd1482b2b029b6","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1b5cdcacd412a4a5f2d68bca37a2a865c612e7","datavalue":{"value":{"amount":"+0.8441842794418335","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":"Q1077403$053C7CF6-08F6-437B-BCD8-3DF5A7C25869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f41ff8ac1af9ed92fc0a353642ee256364a06f6","datavalue":{"value":{"amount":"+0.8202918171882629","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":"Q1077403$7E192EB3-7458-4DF6-984C-F1019D36FA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ad32d01bc695040fe116a259e50c5c28840f60","datavalue":{"value":{"entity-type":"item","numeric-id":3762287,"id":"Q3762287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ecf8fb50e943e8696a297c8560aa583fddda4a","datavalue":{"value":{"amount":"+0.7868412733078003","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":"Q1077403$7B4D687A-F5D2-4EE3-B00F-2B270B8F1FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef3607e1a87b009ba1b7874bcf3442ab00b86ef","datavalue":{"value":{"entity-type":"item","numeric-id":3737415,"id":"Q3737415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22469859846bc4a5acc18f1eeff911e37f6ca469","datavalue":{"value":{"amount":"+0.774146318435669","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":"Q1077403$1872FD58-8366-4F7D-8889-52478AD3A224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206ffccc557957bf7b3f6246019eb1e1730f875","datavalue":{"value":{"entity-type":"item","numeric-id":1595922,"id":"Q1595922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53633bf263b0f5641de6498965e7d9b3b7f2ffc8","datavalue":{"value":{"amount":"+0.7726261019706726","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":"Q1077403$F640281C-E42E-48B7-B4A3-734A483C4C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1077403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1077403"}}}}}