{"entities":{"Q1089330":{"pageid":1100082,"ns":120,"title":"Item:Q1089330","lastrevid":66108333,"modified":"2026-04-12T07:36:55Z","type":"item","id":"Q1089330","labels":{"en":{"language":"en","value":"Predicate logics without the structure rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004149"}},"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":"Q1089330$2994AAA4-4C9C-4CAA-A611-CD7E9746F9D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc7f2ae811a6c462c3930dd70e84e518d756cad0","datavalue":{"value":{"text":"Predicate logics without the structure rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089330$18759522-E4DB-40E8-B87A-64C077D7EB98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dacbfdfe829740e570ceace73af8492d5ead129","datavalue":{"value":"0619.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089330$2888C2AB-37FD-4550-B6EA-C98F75EA6139","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e419bc6fe7703dd8a8d27dfd38416465e9bc95","datavalue":{"value":"10.1007/BF00370272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089330$1FE075F8-7085-494B-86B9-8AC156DB2145","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089330$BF8AF73B-2A34-4E1F-A020-1604CEF3D5F5","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":"Q1089330$59255167-1D5B-47C4-AE82-F381E99467A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1089330$DF722F7A-27C4-4EAF-A53B-3CC091A3DE6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75b20af647eadb672959629a1f0b9b2a20269f6c","datavalue":{"value":"In our previous paper [\\textit{H. Ono} and \\textit{Y. Komori}, J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we cannot carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference (\\(\\to \\forall)\\) and (\\(\\exists \\to)\\) are not always valid in our semantics. So, we have to introduce a notion of normal models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089330$F2B6880D-885D-4390-A718-C11EC5240639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089330$78BA238D-FBBD-4B4F-8FD0-6DCC9F59CD53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e16da72faf3f2e0148ed16dae715d301a456acd","datavalue":{"value":"4004149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089330$254F34B2-5771-4167-81EE-490F07E82336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089330$B5E306AC-322D-413C-9828-AAE598AE58F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c12716947275ae47547d277786e49e51cd8b1b","datavalue":{"value":"predicate logics without the structure rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089330$28A77961-53AB-4305-B6E0-4739D6B69520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e153d03fafe6db0e763184593eeef9ac5653489","datavalue":{"value":"normal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089330$8B11793D-9507-40AB-A01C-3A08C79B8388","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":"Q1089330$C3EA207A-1E69-4A46-AAA3-97C138142CAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f353e97938040ada5b04d78e18191e9bca457854","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089330$47D98061-534D-4600-A61F-A3B336355489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d2facbb6ac5cdf9eb7a0fdbcaec258bd7d5085","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089330$6B2C5AF7-FB16-4F46-B347-FA42ABC81BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46be17749477fe91374502bd78490c4a9d8ed41e","datavalue":{"value":{"entity-type":"item","numeric-id":1077403,"id":"Q1077403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089330$A41258BF-E0E7-4E7E-A64D-437D268BDB9C","rank":"normal"},{"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":"Q1089330$F8A047FB-CD0E-46B9-BA4A-BA69CC081A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109f0c63663c17e36a1916fad5bb306f0a17d5b4","datavalue":{"value":{"entity-type":"item","numeric-id":1077403,"id":"Q1077403"},"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":"Q1089330$0540BB46-0B00-4806-9C2C-340D6302C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dbc1c7946709f0da84bc648ed0c6a2db12ab65","datavalue":{"value":{"entity-type":"item","numeric-id":1181491,"id":"Q1181491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6059a3b232293929c0607c5faffbe35ef45626d6","datavalue":{"value":{"amount":"+0.7753913998603821","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":"Q1089330$C6058B50-86B8-4686-B1ED-52095B92AC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c63896286d2708fa4c21607cbd0ff3f17e761156","datavalue":{"value":{"entity-type":"item","numeric-id":1868252,"id":"Q1868252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca7d61e44c94bb8205a39f3f078cda9301a6a3e","datavalue":{"value":{"amount":"+0.7510182857513428","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":"Q1089330$AFDEF32F-5665-4979-B5BD-BE13E8595758","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":"2c7f47212288ddafe073f0a17fbdc027dff2bd32","datavalue":{"value":{"amount":"+0.7502957582473755","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":"Q1089330$EC04ACCE-BA1A-4859-AF28-47718FC7EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f972edfb2865cbddbae9321765c471484b359b","datavalue":{"value":{"entity-type":"item","numeric-id":4026931,"id":"Q4026931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f16d6a13e770c584555472a1db28aa5765ee54","datavalue":{"value":{"amount":"+0.7448330521583557","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":"Q1089330$ECCEDC4E-A073-4488-9F49-9942E6C0AD57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate logics without the structure rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_logics_without_the_structure_rules"}}}}}