{"entities":{"Q2732291":{"pageid":2743030,"ns":120,"title":"Item:Q2732291","lastrevid":47645488,"modified":"2026-01-02T07:28:19Z","type":"item","id":"Q2732291","labels":{"en":{"language":"en","value":"Fibring: Completeness preservation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623531"}},"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":"Q2732291$23EE7FFA-37A5-461D-AA03-A45B704E926B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d0bd36b606c4fa3107f21db4425f500f479090","datavalue":{"value":"0981.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$5E45903B-C0BC-46C9-9C6C-D395A797EFE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e339029432d6decde2c5a3ebe1d4250a108fc8","datavalue":{"value":"10.2307/2694931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$5BFDA233-9401-45E9-8EE6-D50847AE3ACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$16C397B5-9653-4071-BEBD-E36ACC7CBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$FC6BBA0E-3729-412E-8823-A445ACC4FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$F78622E5-DB97-4BC8-89F7-D2299BDFDE8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eda994ce54674f95a066f6d30cc466b0f4ae3187","datavalue":{"value":{"time":"+2002-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732291$B503B877-EC7C-4CA5-94A1-2F341DD79630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$C31EEB29-10E6-4E5E-8798-373478453A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$CE9425EA-DCE5-43F2-974E-DBF1DF9776DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$6304DF75-50B7-4515-B864-43D74012B2F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5057c1d9527dadc80688fae8606269e2a7629c","datavalue":{"value":"1623531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$8FAF14F5-AE8A-4258-A7CE-F30536CD7A39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f346264936768a92306e42f086dac62aeb178e5","datavalue":{"value":"fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$7333B61E-0785-4CA3-8178-F6FAD5C52214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$0E464A7C-3CBC-4522-9A9D-FE1D2E9504FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be9b1656f4cb1890f743f99de7eba7a563dc33c","datavalue":{"value":"combining logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$95018824-7489-4099-AC2C-1BD0CF9C4597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101263efc667cff0c3992a26e5bc927cda717719","datavalue":{"value":"interpretation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$04C01026-A397-49ED-94F4-FCCB3A9A780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$989109CD-0689-40F1-9C62-4A6061EFFB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58507e96698999e0c53727ab675490046ee1fa69","datavalue":{"value":"logic with equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$08EF2137-1451-4A02-BDED-DA2D0045B3E2","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":"Q2732291$5024BFC4-2E73-440F-B291-CE9B79D96879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6f0febd20cb91b4310a7f136f1885538178742b","datavalue":{"value":"https://doi.org/10.2307/2694931","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732291$D9544605-12D3-48B3-AA43-362786E83F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d76479d2d102af9f01156554040d243fcb3fdee","datavalue":{"value":"W2042927584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732291$691ABA3E-36EA-464C-A121-016EAAB7CED4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$318D1599-E403-46BC-B581-802769E89F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$E2C45111-974F-4E6C-8DD9-8B3D7380AD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a041511c47d305bcbcd84682ece374fd3f55c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1370455,"id":"Q1370455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$F46917A4-9E69-41C7-8FC8-14DAD78E3D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$BC62AA8B-65BC-4581-BE6A-5127FA7E918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$45BAEFFA-8712-4D4D-AC8E-EE6643125768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d2e8aacbbb4ce1458c4ad8820abf0d257659e2","datavalue":{"value":{"entity-type":"item","numeric-id":1815425,"id":"Q1815425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$33A0021D-E23E-44C0-A93E-3A3BE28BC146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8462cd38d13160180cee3227a98b69c13eba8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$CEF7250D-EF02-44D3-8450-AFDC09EE7055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a009b10dc1fb1873dc8ab96bb5a5fe4c8d6feea7","datavalue":{"value":{"entity-type":"item","numeric-id":1372360,"id":"Q1372360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$9EC4F21D-8534-4769-BB0D-E5C61EBA4394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$33B70104-E7A1-4BDC-8E4D-E1165B565CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$AEDE56AD-8809-479A-BF92-E3B67D749639","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f592464856f1fe4f165dcbaa4b1608b4efb9cf85","datavalue":{"value":{"text":"Fibring: Completeness preservation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732291$E2406DE1-81E8-4A4B-B218-33740FA5FD40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$DC5AA928-7A53-456B-A271-37FC7B3F9305","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e082db4a67c2434dbdbef78d041c9fd5c69c9daf","datavalue":{"value":"When we apply the technique of fibring for combining two logics we produce a logic allowing the free mixing the connectives from both logics and using the inference rules from both logics [see \\textit{D. M. Gabbay}, Fibring logics, Clarendon Press, Oxford (1999; Zbl 0909.03001)]. In the general case, soundness is shown to be preserved by fibring, but the preservation of completeness remains an open problem. In this paper the authors concentrate their attention on the problem of completeness preservation and give a positive answer to this question with reasonable requirements on the two given logics with `full'\\ semantics and availability of `equivalence\\'. Namely, since `equivalence'\\ implies `congruence'\\ and the former is preserved by fibring, the preservation of strong completeness is a consequence of the completeness theorem for general semantics. NEWLINENEWLINENEWLINEAfter a brief review of Hilbert type systems and their fibrings, a general notion of interpretation systems and their fibrings are introduced in order to establish the appropriate notion of general logic system enabling to study the completeness problem. Two examples from modal logic are presented. A strong completeness theorem for logics with full general semantics and with congruence is obtained by using an adapted Henkin construction. Finally, the notion of logic with equivalence is introduced and it is shown that this class of logics is closed under fibring and is a proper subclass of the class of logics with congruence. At both the proof-theoretic and the modal-theoretic level, the authors provide a categorical characterization of fibring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732291$2851AAD5-427A-4CDE-9D0C-B563267CE221","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732291$0DC176A9-A77A-4F5D-83A3-360BF5FC7733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def0112ee9d859ea375c23ef5ab90869a6b2fcd5","datavalue":{"value":{"amount":"+0.8851655125617981","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":"Q2732291$69299123-4140-426E-A1BB-B8C5C2C6231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a8677e1c38292d663db8b208c51feb7de75df","datavalue":{"value":{"entity-type":"item","numeric-id":1868482,"id":"Q1868482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f7d3d5221ec2a9f2e5a06f5e5f3f49879a0bd8","datavalue":{"value":{"amount":"+0.8721665143966675","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":"Q2732291$C69A9587-D92B-446E-A978-C4DAEDAFCC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b53b18c40659d068ccaa736ec8119d496266d","datavalue":{"value":{"entity-type":"item","numeric-id":2782494,"id":"Q2782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f7d3d5221ec2a9f2e5a06f5e5f3f49879a0bd8","datavalue":{"value":{"amount":"+0.8721665143966675","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":"Q2732291$7CB42BDA-FD86-426B-B808-832CA7128EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ea33a315ad29f6b24d129df8c68769944915b1","datavalue":{"value":{"entity-type":"item","numeric-id":4434616,"id":"Q4434616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46da384ef9f2982c6c1c65cf6e3c4800d1969703","datavalue":{"value":{"amount":"+0.8698807954788208","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":"Q2732291$B1F65E8E-1186-4322-AFBA-2E13BFDA92CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91dc0a19254670d46962b06ec9e3b0dee6e8f70","datavalue":{"value":{"entity-type":"item","numeric-id":5450571,"id":"Q5450571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f319e13b145e69e8f3c482f4402440a8fb7bdb86","datavalue":{"value":{"amount":"+0.8542526364326477","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":"Q2732291$B6B34F0B-BE01-4EFC-B6F0-E85A38B8BF81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732291"}}}}}