{"entities":{"Q1104309":{"pageid":1115058,"ns":120,"title":"Item:Q1104309","lastrevid":66723960,"modified":"2026-04-12T12:25:18Z","type":"item","id":"Q1104309","labels":{"en":{"language":"en","value":"Constructive predicate logic with strong negation and model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055565"}},"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":"Q1104309$2BC80C45-2F3F-4AA2-8853-144F429C9772","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"823e42db04a297402d5b795654498dd07726fd7a","datavalue":{"value":{"text":"Constructive predicate logic with strong negation and model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104309$F1ACB45F-0ECE-4767-89D8-928C0DF39327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"256bc2bb6883f9190c6953bb3fa3743c4242562c","datavalue":{"value":"0647.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104309$0185D099-6B62-4FE5-8336-232DFBAF80AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104309$2459B0F8-F9C7-48E1-B988-65A8A0E8262C","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":"Q1104309$AE5DA2E9-4229-4304-A0E1-6B22531213D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104309$3A800457-2AD0-4011-9023-2715123F7267","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa467955c736d25b2a6ac6b3de20c9214dad2b78","datavalue":{"value":"Strong negation differs from intuitionistic (Heyting) negation in that, by the former but not the latter, \\(\\sim (A\\wedge B)\\) is equivalent to the derivability of either \\(\\sim A\\) or \\(\\sim B\\), and \\(\\sim \\forall xA(x)\\) is equivalent to \\(\\sim A(t)\\). Intuitionistic negation, \\(\\neg\\), may, however, be defined in terms of strong negation, as \\(\\neg A\\equiv A\\supset \\sim A\\). In this paper a first-order constructive logic with strong negation is defined. It is presented first axiomatically, and then a Kripke-type many-worlds semantics is defined for it (the key feature of which is that formulas are evaluated in two ways, both positively and negatively). Using Henkin-style techniques, the axiomatic system is proved consistent and complete with respect to the semantics, likewise theorems for compactness and the L\u00f6wenheim property, that A is valid iff A is valid in all models with denumerable parameters. In addition, it is shown to embed intuitionistic logic, H, within the present system, S, with strong negation, and also how to embed the present system, S, within classical logic, C.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$06A20CF9-F8E7-4EAC-B8BD-E3F3949665B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104309$B2A2C5FB-CB95-44E8-B730-AD19FB32B457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3929ca1969773f4813791b670dc5b7e644a25c65","datavalue":{"value":"4055565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104309$965B26B8-CC06-4AC1-B13B-D15CA385B09A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$46BBE0DD-015D-4F46-9292-40909E13A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f493c86c0d31d135f184e50a265acb8084728666","datavalue":{"value":"first-order constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$A372C0D7-79D8-45B7-BBF6-7C34115CB228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4d5f7af7fe28d4d3a9ce71deef26457fd0e480","datavalue":{"value":"Kripke-type many-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$EC45CEC5-2901-4686-A16B-308C583DF23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$251A84BC-BCA3-4EDE-A27E-8132D0EE2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104309$CD0042D9-70ED-4A93-A68B-AF2E753B77A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104309$E7EAC962-1CCE-40CA-BA25-833EB368A66A","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":"Q1104309$8F891941-C850-4533-9138-9FF9FEA27B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02e9203bfc971cf7df783103971ca3243c93cd0b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637767","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104309$E3CDF06C-5A63-484D-BFFF-A8B26E9FDEB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5ef065d93c714cf1c85d38b210bd86df057413e","datavalue":{"value":"W2060687784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104309$C585F2A8-7D9E-4864-B759-B9947B3844FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e6a8f5008a1004e1b6c64afb591c3da7fedaee","datavalue":{"value":"10.1305/NDJFL/1093637767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104309$99841FD7-5B7F-4CC2-80FF-309747CDAE6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a9e916093923c1ab582cec6a5ba1479d0cfa69","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f54abcac20ef10cc0790f1ff987b2523d64116","datavalue":{"value":{"amount":"+0.85882455","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":"Q1104309$D7BB5603-3AB7-45B7-8B3F-23DC864E600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8839ec063c0177e9f854a576bc9289ee038ee5","datavalue":{"value":{"entity-type":"item","numeric-id":6051428,"id":"Q6051428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4264267f864ed87d74abdab3f022c2bdb35ca166","datavalue":{"value":{"amount":"+0.81904197","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":"Q1104309$C711B46B-33CB-40C0-91D4-2116F1D5B365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64408bfea1cd18dcf9bb9f5a0e7291d7d4c801a7","datavalue":{"value":{"entity-type":"item","numeric-id":3149172,"id":"Q3149172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327fe93e5811bb2dc6ece40e8b44f861bdc464b3","datavalue":{"value":{"amount":"+0.8097673","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":"Q1104309$B0C5CBD7-0C33-4A7A-A661-195F2E420F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2094e01b8b53c92fbe87d7946352f28803c95","datavalue":{"value":{"entity-type":"item","numeric-id":4385349,"id":"Q4385349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590695e8736fa78048e23f2a6fababf366c393f9","datavalue":{"value":{"amount":"+0.8083181","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":"Q1104309$8324E8E2-09F5-4C7F-A32F-5D709EEC9B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849c26f0b4f1c04bea5d62fb40e7ca3d6e4a5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3367330,"id":"Q3367330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe3c2021cfa84257afb4a5c1a19f09aac31f11e","datavalue":{"value":{"amount":"+0.8035712","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":"Q1104309$46920E4B-EB5D-4380-BAD0-8074697C39ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9634c736540c96b457b40990b58526809297c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":346768,"id":"Q346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaa1b0e1da6a05b43665e41b272a87204df45aa","datavalue":{"value":{"amount":"+0.8034092","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":"Q1104309$CD5E31C2-D951-4190-B670-BD875D29C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49e24ed80b5c9836a21313efc365d3c22728554","datavalue":{"value":{"entity-type":"item","numeric-id":3435247,"id":"Q3435247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6cf250a4125ae9056d51144dbe8fe61a2a1a44","datavalue":{"value":{"amount":"+0.8013332","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":"Q1104309$ED15BD98-6B75-4130-B938-1ADB86A0399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0307dafef4ca83ee2cf9b9364602bbb273780ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3795646,"id":"Q3795646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f309b6713816201f52d0c1cc4b8212356db3a8f","datavalue":{"value":{"amount":"+0.7879911","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":"Q1104309$24E7530E-07ED-4256-ABA8-044B24791C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e56889084caef4ab878bfb77ff1a57900c34cf","datavalue":{"value":{"entity-type":"item","numeric-id":757363,"id":"Q757363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76fe1c0e323e6681669b99d5825859a9b882816","datavalue":{"value":{"amount":"+0.78211147","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":"Q1104309$CDA242CD-487C-4649-BBA5-A1E0FE0FCAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7032138c76b129bf4d0803e6f749b27aaff89647","datavalue":{"value":{"entity-type":"item","numeric-id":4438105,"id":"Q4438105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a28f621862b4548128b2c466db34a118e11e4f","datavalue":{"value":{"amount":"+0.78007567","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":"Q1104309$FD74E2A5-2B5B-4B24-83CB-818591B100D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive predicate logic with strong negation and model theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_predicate_logic_with_strong_negation_and_model_theory"}}}}}