{"entities":{"Q2425350":{"pageid":2436093,"ns":120,"title":"Item:Q2425350","lastrevid":44065722,"modified":"2025-11-19T15:23:15Z","type":"item","id":"Q2425350","labels":{"en":{"language":"en","value":"An algebraic approach to the disjunction property of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5268942"}},"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":"Q2425350$6D119EBC-2724-463B-9894-E89F414896F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d2ffb58c7977f06bdfccff71ec80d4698162649","datavalue":{"value":{"text":"An algebraic approach to the disjunction property of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425350$30F3918E-1EED-4B7B-9088-8972011A2A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"864ff1c9aa5a7c1964daeddda7c09a670878b1f0","datavalue":{"value":"1137.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$13A587C9-5071-4B6C-B009-75D77EF3358C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5133b0f573e02f0b15a73f8a2e97d7f53efd69e","datavalue":{"value":{"entity-type":"item","numeric-id":2425349,"id":"Q2425349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425350$D03CD1EE-E9B3-4EE7-A7A6-60F37BAF05C6","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":"Q2425350$57168208-EFA6-4531-94CF-4DB22905F174","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2425350$70842D52-D0AD-4791-8F1A-4FBAD13271E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2adcc96508a7f568ad9a468fe18a841ceb4e6c61","datavalue":{"value":"Let \\textbf{FL} be the sequent system obtained from Gentzen's \\textbf{LJ} for intuitionistic logic by deleting all structural rules and adding rules for fusion. By a substructural logic (simply called logic if no confusion occurs) over \\textbf{FL} we mean an axiomatic extension of \\textbf{FL}. A logic \\textbf{L} has the disjunction property (DP, for short) when, for any formulas \\(\\varphi\\) and \\(\\psi\\), if \\(\\varphi\\vee \\psi\\) is provable in \\textbf{L} then at least one of the formulas \\(\\varphi\\) and \\(\\psi\\) is provable in it. An \\textbf{FL}-algebra is an algebra \\((A,\\wedge,\\vee,\\cdot ,/,\\setminus,0,1)\\) where \\((A,\\wedge,\\vee,\\cdot ,/,\\setminus,1)\\) is a residuated lattices and 0 is an arbitrary element of \\(A\\). Formulas of the language for \\textbf{FL} are interpreted in a given \\textbf{FL}-algebra \\textbf{A} in the usual way by using valuations on it. For each logic \\textbf{L}, let V(\\textbf{L}) be the class of all \\textbf{FL}-algebras in which every formula provable in \\textbf{L} is valid. In fact, V(\\textbf{L}) is a subvariety of the variety \\(\\mathcal{FL}\\) of all {\\text\\textbf{FL}}-algebras, and, conversely, any subvariety of \\(\\mathcal{FL}\\) is equal to V(\\textbf{L}) for some logic \\textbf{L}. A logic \\textbf{L} is said to be complete with respect to a subclass \\(\\mathcal{K}\\) of V(\\textbf{L}) when \\(\\mathcal{K}\\) generates V(\\textbf{L}). An \\textbf{FL}-algebra is well-connected if and only if for all \\(x,y\\in {\\mathbf A},x\\vee y\\geq 1\\) implies either \\(x\\geq 1\\) or \\(y\\geq 1\\). The author shows that Maksimova's criterion on the disjunction property of superintuitionistic logics can be naturally extended to one on the DP of substructural logics over \\textbf{FL}: If \\textbf{L} is a complete logic over \\textbf{FL} with respect to a class \\(\\mathcal{K}\\) of \\textbf{FL}-algebras, then \\textbf{L} has DP if and only if for all \\({\\mathbf A},{\\mathbf B}\\in \\mathcal{K}\\) there exits a well-connected \\textbf{FL}-algebra \\({\\mathbf C}\\in V({\\mathbf L})\\) and a surjective homomorphism from \\textbf{C} onto the direct product \\({\\mathbf A}\\times {\\mathbf B}\\) of \\textbf{A} and \\textbf{B}. By using this, he shows the DP for some of the substructural logics for which syntactic methods don't work well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425350$194741A7-D835-422E-BDAA-A06A08BA93E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425350$69AC988B-2A68-433C-8E2B-B283EAA816BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$85B4F7C4-80C3-444E-9870-5C0302F4D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$B4164574-2D9E-4BE6-A5A1-64263EBB36BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d28a9a29351cee6c951b70f67b6b03f2c684cf6","datavalue":{"value":"5268942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$71CB4590-D0DE-4287-98EB-F4CB86430F20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425350$00FD931D-5719-4BBD-B568-E7921D0E620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425350$A14A1080-A281-41CC-9476-4605EC3E9BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425350$C86D77C1-4FA7-433A-B38A-474BBD8F459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346fb5e9a818cb878f90d0b3a631bb7d2691024e","datavalue":{"value":"well-connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425350$D4C0DE14-471A-487E-BDAE-8B411C988EFC","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":"Q2425350$6D97B04D-FC42-4A2A-91C4-3A828C465659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40e518ed196b58cf1c717a6c0b7e5f8d7df1c7c7","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1193667706","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425350$83CDC91B-28AF-47EC-A707-88005C120108","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8eb8a6e02962a9c0e66984ce941e77a39fc95b","datavalue":{"value":"W2076906261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$D86E99A8-474E-4D8F-B009-9826ACDE29F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b78f18454b7dafc6452d1c352a15b95290309789","datavalue":{"value":"10.1305/NDJFL/1193667706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425350$8E28BA7E-6AD7-453B-BE21-B378F00381BD","rank":"normal"}],"P1643":[{"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":"1c5d9a882f4a13fcb50e3fa0e2836e528e5c03ab","datavalue":{"value":{"amount":"+0.9490192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$13FA34C5-FF88-42A9-AB86-0F411B82FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46418a1d6f9eb14a82a7323aab223943ffa1574","datavalue":{"value":{"entity-type":"item","numeric-id":3474636,"id":"Q3474636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7ed452916ce12a3a7717f3479a9a3bedcbc356","datavalue":{"value":{"amount":"+0.9329452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$D8AF5F96-FDE8-4FDB-ACDE-C8F1BA23B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186b0a54c77650e7efad7a02c34bbda4b1bca695","datavalue":{"value":{"entity-type":"item","numeric-id":5899319,"id":"Q5899319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1c4d1d86a8f8f62fe138ac52284f90d47ac349","datavalue":{"value":{"amount":"+0.9040782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$1EBB7F47-4622-4EFF-81F0-5E4CAB5874B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f0ac087b246e173848a29c356ce224347ab69","datavalue":{"value":{"entity-type":"item","numeric-id":5871537,"id":"Q5871537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bd1b141f9a12e36cc6ba7c9a4109168e328a42","datavalue":{"value":{"amount":"+0.9031896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$442EDAC7-60B4-46A2-8B4D-7E2BD2EE2690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a051622b200274dead32cc611d9db4b218b82018","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00400111f20ad2c81f6d8ac81ec9e58eda7f7e1","datavalue":{"value":{"amount":"+0.8990005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$C709EE66-5721-4BFD-B83E-A08977699B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bc117e48b450296cd5fc53a169ca3af18a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7977405e19fddfc2e2c10ec393c31324756fe643","datavalue":{"value":{"amount":"+0.89677525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$330BDF6E-AD35-48FA-B4A9-D2FEC375B58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2ed59f9c82abca3f91f0e8daeb18df51bd2d6","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44074c1cc3a099e8360eb7ee1b70a26a72a8dc81","datavalue":{"value":{"amount":"+0.8964759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$FD8D6888-22E3-4B9C-B356-1EF9DAA2AD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3799a158e5eca7632e6f81a91c85566f7b1ad0e","datavalue":{"value":{"entity-type":"item","numeric-id":5020165,"id":"Q5020165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e269e0696d417f544fec20f8442268ea957dcbc","datavalue":{"value":{"amount":"+0.8952574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$4C2C29CA-9702-4843-AFFC-560328041F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd22cea57e3632b5f3ae5a3fcf52cdf81522034","datavalue":{"value":{"amount":"+0.8911333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2425350$0A5075E6-E309-4400-A7DD-95E60B4AE9F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2425350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2425350"}}}}}