{"entities":{"Q817682":{"pageid":819530,"ns":120,"title":"Item:Q817682","lastrevid":42710102,"modified":"2025-07-08T17:47:34Z","type":"item","id":"Q817682","labels":{"en":{"language":"en","value":"Two notions of compactness in G\u00f6del logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013021"}},"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":"Q817682$A0848CFA-E7ED-4166-AFD0-7F5C0C83863B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22c8f3797bf7afa0be65a92b4f8c17bc6188fef","datavalue":{"value":{"text":"Two notions of compactness in G\u00f6del logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817682$917E24BB-CB0F-4F4C-B220-24557E253C72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a06a3ab3beb60f58b6444250ff28bd4f1b23bb7c","datavalue":{"value":"1098.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$CF7F7099-3F6D-428D-947F-204C86E4717B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$0FD092E9-ED38-4F63-B300-126504B9CEBE","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":"Q817682$F19A5889-3BA9-4422-9E3D-8F72F9B8B526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817682$8F340D8D-2095-4AC4-83B9-C5F29DDA89E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c08abe78211661b93648468125aa69432e9265c","datavalue":{"value":"Compactness is an important property of classical propositional logic. It can be defined in two equivalent ways. The first one states that simultaneous satisfiability of an infinite set of formulae is equivalent to the satisfiability of all its finite subsets. The second one states that if a set of formulae entails a formula, then there is a finite subset entailing this formula as well. In propositional many-valued logic, there are different degrees of satisfiability and different possible definitions of entailment, hence the question of compactness is more complex. In this paper the author deals with compactness of G\u00f6del, G\u00f6del\\(_\\Delta\\), and G\u00f6del\\(_\\sim\\) logic. There are several results (all for the countable set of propositional variables) concerning the compactness (based on satisfiability) of these logic by \\textit{P. Cintula} and \\textit{M. Navara} in ``Compactness of fuzzy logics'' [Fuzzy Sets Syst. 143, 59--73 (2004; Zbl 1040.03019)]. The question of compactness (based on entailment) for G\u00f6del logic was fully answered by \\textit{M. Baaz} and \\textit{R. Zach} [``Compact propositional G\u00f6del logics'', Proc. 28th Symp. on Multiple Valued Logic, IEEE, 108--113 (1996)]. In this paper a nearly complete answer is given to the problem of compactness based on both concepts for all three logics and for an arbitrary cardinality of the set of propositional variables. Finally, it is shown that there is a tight correspondence between these two concepts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817682$19E332A5-86F1-49F2-BEBD-5907F7E81F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$1A5C1EFF-3557-4691-BA64-940E2493B837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$2D672921-BED7-47CB-B2C5-F5A4153BC5B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327c70696b2844b6aa3e53c500d80e3c4bcae043","datavalue":{"value":"5013021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$2A4835C8-8136-411A-99DF-F804D0CA32A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817682$75ED9FBB-84A5-4D3D-A0E8-B322EDBD1379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q817682$1CDD205E-BB75-4C78-A1A3-C1F9972849B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q817682$3DB98940-51A9-4938-BD23-7F60F3AC9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q817682$A6FE5404-378F-4178-912A-6BAC13A4DD0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$14485878-242A-40B5-A317-4B40F982F6CF","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":"Q817682$EEE480E4-4E69-43AD-B0B3-CFFE24B2D60D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad900b328baa03419d0c28ff3d5f2317accbe7f5","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2804-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q817682$A13D6D90-4FF9-4288-8D63-5458C5342F33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9af56d9d973ed22096e7a8177c5c22031527335e","datavalue":{"value":"W2084875152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$3475EDC6-C0BE-40BC-A921-04FB105334F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8876edc4fa8a87fef28d2e44b19f4dc9b6f2d5be","datavalue":{"value":{"entity-type":"item","numeric-id":1428674,"id":"Q1428674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$214CA9E8-BA7A-427E-9ED3-CD8AE950C58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$8F732E45-5FD9-4C46-9867-0549BDEDB7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dec21687bede7beca570d09d16d3ea6c14f888","datavalue":{"value":{"entity-type":"item","numeric-id":1976881,"id":"Q1976881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$4B874E8D-1890-4A9E-9A34-131F97BB5022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$C853DDBA-061F-40A8-99AC-79FE8F27B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$BEDF9E80-046B-43E2-95C6-C502D292839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbc9ba1b87433d96e8c087b19663ac306c976fb","datavalue":{"value":{"entity-type":"item","numeric-id":1914464,"id":"Q1914464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817682$BF4DC632-116B-4FA4-9C01-2D562DF139BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df4981ad4c4b6d622620baf4c8ff2d7556ce5c69","datavalue":{"value":"10.1007/S11225-005-2804-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817682$8DA915CB-0814-442C-A82A-D62180140A98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d29f6b9b9e63d62e47d12d8e3965e505eb0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2805906,"id":"Q2805906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56767df2336c7c918c88ea258c81e36d6832352f","datavalue":{"value":{"amount":"+0.82340217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$D6957853-4CAD-4FA0-85E9-4DFB7ABBBB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5936f2291587eddd87d11b8dc028f37d8e8b1efb","datavalue":{"value":{"amount":"+0.82075834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$3FC4686E-1050-4E42-8480-0AB191948D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf92bdd7673fd9f995007b7af9bb863ddf46732f","datavalue":{"value":{"amount":"+0.72980076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$17407318-4B5B-4B41-83CB-8A51E9357868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b8a6cbb13b94e5edefc7bccc16726e3d1d6526","datavalue":{"value":{"entity-type":"item","numeric-id":3700827,"id":"Q3700827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5c6f4889e7cfe6d9b5c5b5829e5d55e4159cde","datavalue":{"value":{"amount":"+0.72510815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$5C3DE555-0C27-45FD-B39C-C69B20B66590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a6df946741aac7e3a61dcd2246cab81e389cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4933294,"id":"Q4933294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fb57adf25f1e2f9cc48960eff0eb05d2702dc9","datavalue":{"value":{"amount":"+0.7175891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$442BA332-7829-4ADE-8D14-4EBA5FDADE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cce5db50f3ffb0b61a4382d95dc47f236377fe","datavalue":{"value":{"entity-type":"item","numeric-id":3131328,"id":"Q3131328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617ab7f1d1786a7de85774b8e0a04283cfd9580a","datavalue":{"value":{"amount":"+0.71332395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$B6C46FF5-635A-4660-9453-3DF3E9731107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c58d939f02c92a7587e92b4f5536d867cb3d269","datavalue":{"value":{"entity-type":"item","numeric-id":3590048,"id":"Q3590048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965703033c9d9dff9c55a9019203f016eed6fffb","datavalue":{"value":{"amount":"+0.7121839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$1FE7D588-A2CC-4158-A58A-A67D7B375E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923100b568e81f72ddcc62fa10f5fe850cf4e417","datavalue":{"value":{"entity-type":"item","numeric-id":4809503,"id":"Q4809503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377447f50280ae7ec2866ee34603171b4de49c15","datavalue":{"value":{"amount":"+0.7009547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$2764C2B3-00C0-4E56-AFC7-D7B58584A87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05356a35ba261b3f19b6a3d60562f0eb3d8be45b","datavalue":{"value":{"amount":"+0.6993876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$8EC0BA14-8C98-41B4-A65B-34693C18080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f0ce7fa0759791845942ead7329abfe02f371a","datavalue":{"value":{"entity-type":"item","numeric-id":6075542,"id":"Q6075542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cd291119a19706d2482f9ec43246acb53f27c8","datavalue":{"value":{"amount":"+0.69746816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817682$AE4DC9B4-36B0-495A-989C-3882F3624CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:817682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:817682"}}}}}