{"entities":{"Q1972663":{"pageid":1983405,"ns":120,"title":"Item:Q1972663","lastrevid":46903371,"modified":"2025-12-25T20:03:06Z","type":"item","id":"Q1972663","labels":{"en":{"language":"en","value":"On an extension of Gabbay's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1431707"}},"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":"Q1972663$5824B156-6F8C-4989-ADC9-E311CC31CA7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55e3629e2295c76b778899be9d116d54ef72a0bb","datavalue":{"value":{"text":"On an extension of Gabbay's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972663$C9C9EE91-1924-4525-B7AC-21CC4BC0095E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b112a77eff3bff3647977d2afcc7fb11b021a1d","datavalue":{"value":"0937.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972663$DAEB69A1-4A4D-4AD6-8992-90725A245018","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"603fcece31c7f8ff4a78d328b95352f0452eb202","datavalue":{"value":"10.1007/BF02732374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972663$578DB1AC-FEF6-4FB6-A413-3ACCAC1CEBA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$8E14C439-7AF1-46D4-A484-9B68D71F84F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eabf40ae2ce7091a866094c302ce82489d929ba4","datavalue":{"value":{"time":"+2000-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972663$CBF6E7C2-DA80-4918-AD8F-86F044FBCE41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97f23c610cbcf1513dde685d031c10c6b6dde15a","datavalue":{"value":"The author considers the logic Gab obtained by adding to the intuitionistic logic Int the following four axioms: 1) \\(p\\rightarrow\\varphi (p)\\), 2) \\(\\varphi (p)\\rightarrow\\neg\\neg p\\), 3) \\(\\varphi (p)\\rightarrow(q\\vee (q\\rightarrow p))\\), 4) \\((\\varphi (p)\\rightarrow p)\\rightarrow (\\neg\\neg p\\rightarrow p)\\). This logic was treated by \\textit{D. M. Gabbay} [Stud. Log. 36, No. 1-2, 127-139 (1977; Zbl 0363.02026)] as an example of a logic defining a new intuitionistic propositional connective.   In the article under review, the logic Gab is studied from the point of view of Novikov's approach to intuitionistic connectives [see \\textit{Ya. S. Smetanich}, Sov. Math., Dokl. 2, 937-939 (1961; Zbl 0122.00804)]. According to Novikov, a \\(\\varphi\\)-logic \\(L\\), i.e., a logic in the language with an additional unary connective \\(\\varphi\\), defines a new intuitionistic propositional connective whenever the following conditions hold: \\(L\\) is conservative over Int; \\(L\\) contains the axiom \\((p\\leftrightarrow q)\\rightarrow (\\varphi (p)\\leftrightarrow\\varphi (q))\\); for every formula \\(D\\) in the language of Int, the \\(\\varphi\\)-logic \\(L+\\varphi (p)\\leftrightarrow D\\) is not conservative over Int. A conservative \\(\\varphi\\)-logic is Novikov complete if, for every formula \\(A\\notin L\\), the \\(\\varphi\\)-logic \\(L+A\\) is not conservative over Int.   The author verifies that Gab meets the conditions of the above definition, i.e., Gab defines a new intuitionistic propositional connective in the sense of Novikov. Further, the class of generalized \\(\\varphi\\)-frames is defined so that the \\(\\varphi\\)-logic of this class extends Gab and is Novikov complete. The axiomatization problem for the logic constructed remains open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972663$7BA47345-8829-4D45-8064-34827A000AD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972663$C30FD751-0060-4348-A48B-8F5C5002D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972663$8DE16FD1-C311-4E9D-83A0-529BB758A285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"627bed3217615f8cf6167b9c1fd26d3ba3b2ff55","datavalue":{"value":"1431707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972663$6668C047-4D3D-4115-BDD0-9003D71230BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972663$63557101-1E46-485B-B511-774CD39BABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270d57f4b825901f18369ffadb620fe3a57dfd0e","datavalue":{"value":"intuitionistic connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972663$B2A86CCC-856C-4091-BDC8-906FFF500BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9573b52482091f1cc6766ed0ec746ccd72ad151","datavalue":{"value":"Novikov completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972663$87262EF8-4564-4772-BEB4-7BF88CDC71DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$D1141C1D-C2BF-42B6-893F-273624DE9075","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":"Q1972663$BA49A46C-74A8-4682-A4B6-B18E6946E947","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$243B410A-4F67-4F76-8192-82F2A7DD38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$74439E91-2B70-421E-B828-1779C98E3437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$E18E4BEC-2109-446F-ADAE-ED6561AF9194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$22DFC532-6C7F-4604-8ED3-303DD6BB6D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e4427f4fa3f93fda8d616d55ff8b8da159afa1","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972663$F868DF1C-800F-4353-A41F-D9BF234EDCA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b12793bcc18d81ec8eb97e0f9f01c01f34c2845","datavalue":{"value":{"amount":"+0.8970833420753479","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":"Q1972663$38384D68-1E89-46C8-976D-5BF2C3E0EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319c87f1220779afa76f224ce6247716062f3069","datavalue":{"value":{"entity-type":"item","numeric-id":5283966,"id":"Q5283966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f766bec35ff10f7dd9593acb3599556a9ae865","datavalue":{"value":{"amount":"+0.8307198286056519","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":"Q1972663$564DDF0D-F173-4B3A-BA45-F737A8C9E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e232892af5972c0dc34975a1ee3c00455f9154","datavalue":{"value":{"entity-type":"item","numeric-id":1387337,"id":"Q1387337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f775b7a95cc72c6d49115818e2a3963f12b49c","datavalue":{"value":{"amount":"+0.8242138624191284","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":"Q1972663$08FB3D80-72AB-4D0F-8D2B-F3B32F407148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1972663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1972663"}}}}}