{"entities":{"Q1357985":{"pageid":1368724,"ns":120,"title":"Item:Q1357985","lastrevid":68814309,"modified":"2026-04-13T02:14:45Z","type":"item","id":"Q1357985","labels":{"en":{"language":"en","value":"A new regular constant in intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1023898"}},"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":"Q1357985$755C3A4E-CA93-4D64-ACC5-E3EEE6250989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9443ca01d8266b0c776ab4274e855bc35cc27d8a","datavalue":{"value":{"text":"A new regular constant in intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1357985$D7E11D9C-7462-4106-8372-EC5B95F41B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b3f47b3718f6ad18c173c8f4100f2a6aa6b2010","datavalue":{"value":"0876.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357985$9336C069-21DB-46AB-A938-0A1C52E7DF08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35d8d7452c43cca9cbe658f3e90423b0a124e388","datavalue":{"value":"10.1007/BF02106749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357985$2E974481-D943-4C51-9234-87E31DBE444B","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":"Q1357985$EE982B0D-6A55-41FC-A704-B7EEB6BA7617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"421343ee396663c660b85cc3ed6181655448b08f","datavalue":{"value":{"time":"+1997-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1357985$93BBE6BA-48C4-4195-89B9-49B9ECF0E75A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3755e8ed8758aa53578be102be8c4f37ad4242ca","datavalue":{"value":"The author considers intuitionistic propositional logic where, besides the operations \\(\\&,\\vee, \\supset\\), and \\(\\neg\\), and besides the usual constants 0 and 1, there is an additional constant \\(\\varphi\\). As models the author uses Kripke models.   One such logic, denoted by Reg, is characterized through the following properties: 1) \\(\\neg\\neg \\varphi\\) and \\(\\varphi\\) are equivalent;   2) \\(\\varphi\\vee\\neg\\varphi\\) is the smallest \\(\\gamma\\) for which \\(\\neg\\gamma=0\\).   The intuitionistic deductive system is expanded for Reg and completeness of the expanded system is proved. For a further expansion of this logic, the author considers a special type of models, i.e., finite Kripke models whose last but one vertices are followed exactly by two last ones, forming in this way a forking, such that \\(\\varphi\\) is valid exactly in one of the end vertices of each forking. The logic for these models is denoted by \\(\\text{Reg}^+\\). The deductive system of Reg is extended for \\(\\text{Reg}^+\\) and completeness of the extended system is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357985$56062641-E983-47B2-9FCF-75384322B022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357985$E2989054-359F-4776-BD22-DD15225D3B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"590846dbf1fa07d814b6e37ecb5024e33ca24b4d","datavalue":{"value":"1023898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357985$CF959A3B-86B9-4DDE-8923-4D84075BC662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357985$CA2391FE-3F38-4068-875B-A3822FD9D9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26835921cac1f6e96986ae9d36d93d7160b0740","datavalue":{"value":"additional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357985$8D47C9C1-9CD7-41F0-864F-5AA44F77EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357985$2A108CD7-B6B5-4B78-BCDD-58A203F071A6","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":"Q1357985$D67A2B1B-5736-48E1-8CDF-239024D9240C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b41e5f7ea0ddf008e18157715fbe05e096bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357985$00C4DA1A-F32F-4FB2-8562-BE75A91B582B","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":"Q1357985$A699AD6E-F291-457F-BFE1-FEF1A48F51DF","rank":"normal"}],"P223":[{"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":"Q1357985$4BB544A0-59F2-4BF4-A026-FE80E8297E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79efede2da2f8e7f267e2c686940880513e8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1905252,"id":"Q1905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357985$087C20C4-2A06-4A3A-B274-B1F519A84F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073953b72a82e21e4784ca8c7d1aefdf5cf3a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3890665,"id":"Q3890665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357985$30E47FFF-B90B-4034-B6F5-F6704CCA53E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8051640601ea089121d3bc392c3a583822549249","datavalue":{"value":"https://doi.org/10.1007/bf02106749","type":"string"},"datatype":"url"},"type":"statement","id":"Q1357985$FD4D891B-30EB-4F6D-9F96-6B8A3A46550F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4712b86fe9b750850ee00d812e3970a26db7c2db","datavalue":{"value":"W2062045360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357985$11367F9A-7F98-4AA8-B10F-5C53B71E0C63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355f8bbf227ffdae8a430bea60c971a0e868e5ab","datavalue":{"value":{"amount":"+0.7866725921630859","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":"Q1357985$FA99766A-6C49-4E92-B946-43CDCEA5DD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc5b1b96f957566f39de7740b8a40aca1a405c0","datavalue":{"value":{"entity-type":"item","numeric-id":1280312,"id":"Q1280312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476c9528c1c8e52c5b3932753cf1e44db5a5cf92","datavalue":{"value":{"amount":"+0.786566436290741","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":"Q1357985$3CDF1431-1484-4A4F-9C37-CC2DE510485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec69db315f475852e150bfa78a94d0f00b00230c","datavalue":{"value":{"entity-type":"item","numeric-id":4761712,"id":"Q4761712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79419cfc49cdd4a3926f1b7c6cebbd646dbb5c55","datavalue":{"value":{"amount":"+0.7795373201370239","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":"Q1357985$E4FE2892-E087-4628-B43C-8169DE18AFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fd1d47e87639aadb852343e13368fede4b3ee7","datavalue":{"value":{"amount":"+0.7636502981185913","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":"Q1357985$1F524D8B-07C4-4F05-B544-2B2F1CA25209","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new regular constant in intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_regular_constant_in_intuitionistic_propositional_logic"}}}}}