{"entities":{"Q1935554":{"pageid":1946296,"ns":120,"title":"Item:Q1935554","lastrevid":69102543,"modified":"2026-04-13T04:48:07Z","type":"item","id":"Q1935554","labels":{"en":{"language":"en","value":"Metacompleteness of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136992"}},"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":"Q1935554$1C68B2A5-8914-4696-8F3A-119F69F3272E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5977eec2f7693653f15dbca2921cd85e9a5ddea1","datavalue":{"value":{"text":"Metacompleteness of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935554$C59FC491-6FED-4402-9818-03B64A05C9E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e54477fab5c84a957125388af0fe9065051688c7","datavalue":{"value":"1268.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935554$756FA758-7390-4F61-8389-82A7B50D72B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"080b8f44623507ce5a92db8ab0a0a7caaeb2dd8e","datavalue":{"value":{"entity-type":"item","numeric-id":383573,"id":"Q383573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$CA494043-7D23-4C6D-90B7-48265A40ACA3","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":"Q1935554$59653556-71DF-4687-905D-4192FCC0942C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935554$FBA310C7-A991-435E-A87F-514C5B47EFF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d055118c381e84822e4bb3ab7029d8ce2fe447f","datavalue":{"value":"The paper studies the extensions of the logic \\(\\mathbf{FL}\\) -- the logic of full Lambek calculus. A logic \\(L\\) is said to enjoy the disjunction property if the fact that \\(\\alpha \\lor \\beta\\) is a theorem of \\(L\\) entails that \\(\\alpha\\) or \\(\\beta\\) is a theorem of \\(L\\). A logic \\(L\\) is said to enjoy the existence property if the fact that \\(\\exists x\\alpha(x)\\) is a theorem of \\(L\\) entails that for some term \\(t\\), \\(\\alpha(t)\\) is a theorem of \\(L\\). The metacompleteness of some logics over \\(\\mathbf{FL}\\) is proved. Metacompleteness is used in order to establish disjunction and existence properties (or the absence of these properties) of extensions of \\(\\mathbf{FL}\\). In particular, it is proved that no substructural logic that is both involutive and contractive has the disjunction or the existence property. Also, using metacompleteness, the admissibility of some inference rules is proven.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$51993F43-92F0-455E-A594-ADC2B9EBC650","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$F830D9A7-26E1-48E5-95B0-0021AD8DE1EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935554$69AD44B0-C8B7-4658-BE3D-20491CF43E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"642349be99b7f1a03c60304e53a12f27818a1d65","datavalue":{"value":"6136992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935554$406E3CEB-3B10-41AB-9773-BD1DE891014D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"060dc3e106d66cc44f22efc44a693dddc7803517","datavalue":{"value":"metacompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$86EDB84A-95EE-456B-841B-5EE91B9F881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$88B29F70-C6FF-424C-B3D1-8EA755573C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$27189C19-7999-4EA6-8CB5-0E9762DF7F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$4BB7C47F-0ADF-4FD1-91A3-A6516BF98879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935554$AC5A71B8-48EC-42BA-A862-BF16E61D515D","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":"Q1935554$BDA9DF92-1365-487C-BBE1-27E6D41EE708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b607141035d16759e5528745e37f598b7ec8ba","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9458-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935554$C7C61D58-3170-4D82-991C-71D06669C844","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5038aa080138b12c768e7af2564d8bbe2646d349","datavalue":{"value":"W2094859184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935554$047B7CA2-20C0-438A-8E9B-998BC9008CAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"451d363ccb11b7e8a1a839669a73836da510064a","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$7BB087D7-5598-40F1-9F5A-6D90E1AD66F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$51BCE19E-D904-4359-BD38-41C6559BB56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$7D59A079-AD16-43DF-91D5-43CCB8905F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$1BBB4CCE-AA8C-4288-8FF3-F02F9243C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$D15DEEBB-34EF-4EE4-ABB6-7780FEB3FA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$C6AB243C-E584-4437-A719-5873F6E2A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c5d987060b4bf24dd81c8ab3a4b6e644b081d","datavalue":{"value":{"entity-type":"item","numeric-id":1064316,"id":"Q1064316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$BB42F8F4-AA3F-46B0-81E5-24FA05696D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901a26ec9a3abaa1546b2d52170a82ccbf4ad40a","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935554$8952553E-F374-417C-A1EF-845A17FC408F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb75388e4d99b8f1a22e4b1590db87680c64386","datavalue":{"value":"10.1007/S11225-012-9458-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935554$90FA5681-9F3F-4BA0-B3EA-9AC59D230480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4534f7db60fffde8d688ab452b32f9543984788","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5580b246ae6f6dc4b8a96927bbafc47b5ca7b9","datavalue":{"value":{"amount":"+0.8311558365821838","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":"Q1935554$A7A0BC54-BA23-424F-9C80-D7E19C2E94BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28ad4646714ea7c16f8a52ac6fa5608c750339a","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e6db4620e400a45003bee66f0a69d84d41deaf","datavalue":{"value":{"amount":"+0.7947599291801453","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":"Q1935554$C8C1E4D4-6D03-4570-88FC-0F51D26C47E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b263ab830445b64d4bc4cbe4da53c7c14f29e66a","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f949384efce37e162c6f8f1f87f6305db326cddc","datavalue":{"value":{"amount":"+0.7861523032188416","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":"Q1935554$7959F992-16AF-4C0F-88DF-5457748CADBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddef79734e5593a98c074c45ca4e400a938d3266","datavalue":{"value":{"amount":"+0.7730758190155029","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":"Q1935554$CABAE615-6C55-476D-8581-1561C0199660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa53006ea0e21c190b6d3d7204a9f18b5c646b","datavalue":{"value":{"entity-type":"item","numeric-id":4511319,"id":"Q4511319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0ff1c4602d21ee7ceaea151038bc01a8646ac0","datavalue":{"value":{"amount":"+0.7725154161453247","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":"Q1935554$742E768D-04EC-4C2D-B75E-C9C970A06DCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metacompleteness of substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metacompleteness_of_substructural_logics"}}}}}