{"entities":{"Q1092033":{"pageid":1102785,"ns":120,"title":"Item:Q1092033","lastrevid":42870193,"modified":"2025-07-15T14:01:24Z","type":"item","id":"Q1092033","labels":{"en":{"language":"en","value":"Sentential constants in R and \\(R^{\\neg}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012574"}},"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":"Q1092033$2AB670DD-42AF-4C56-8BB2-C70B3B0024E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a97b3e968d954a1eaa437dcb849f6f2cc2039d1a","datavalue":{"value":{"text":"Sentential constants in R and \\(R^{\\neg}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092033$83034DD7-DF46-4BCF-8BBF-D9A6FC63A810","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b6322226433e4d408692e86be96d3d0a3b32fdb","datavalue":{"value":"0624.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092033$9497D25B-7CD6-4DC8-8BF8-E89B5DA0F5E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd339c9e08235d48b474009e3139948bddeffad","datavalue":{"value":"10.1007/BF00375901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092033$1A9BA252-E6A9-481A-8DE8-67B79E4B605A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$180955E0-FE42-4260-9D79-39537E08CEF9","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":"Q1092033$461E0C36-1AEC-4733-933C-54C81B3C8ABD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1092033$9A66998B-3FFA-448B-9A47-789425249969","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b860501120d691d0a5bd8b78a8706b6d3d9cbba","datavalue":{"value":"This paper is a study of sentential constants in the relevant logic R, its intensional fragment \\(R_ i\\) and its Boolean extension \\(R^{\\neg}\\). The basic constants are the Church constants T and F introduced in A. Church [``The weak theory of implication'' in Kontrolliertes Denken. Untersuchungen zum Logikkalk\u00fcl und der Logik der Einzelwissenschaften, ed. Menne, Wilhelmy and Angsil, Komissions-Verlag Karl Alber, Munich, 1951, pp. 22-37] and the Ackermann constants t and f of \\textit{W. Ackermann} [J. Symb. Logic 21, 113-128 (1956; Zbl 0072.001)]. The author makes interesting use of matrix and general algebraic techniques to show (among other things): 1. There are exactly 6 non-equivalent formulae in \\(R_ i\\) (and in R, and in \\(R^{\\neg})\\) that can be built out of the Ackermann constants and the intensional connectives; 2. There are exactly 14 non-equivalent formulae in \\(R_ i\\) (and in R) built out of the sentential constants and the intensional connectives; 3. There are exactly 8 formulae in \\(R^{\\neg}\\) built up from the sentential constants and all of the connectives; 4. Defining (in \\(R^{\\neg})\\) necessity, N, as \\(NA=T\\to A\\), possibility, P, as \\(PA=\\neg N\\neg A\\) and strict implication, \\(\\Rightarrow\\), as \\(A\\Rightarrow B=N(\\neg A\\vee B)\\) and letting the class of modal formulae be the class of formulae built up from propositional variables, T, F, and Boolean and modal connectives: a modal formula is a theorem of \\(R^{\\neg}\\) iff it is a theorem of S5; and \\(A\\to B\\) is a theorem of \\(R^{\\neg}\\) iff \\(A\\Rightarrow B\\) is.    The author refers the reader to \\textit{J. K. Slaney} [J. Symb. Logic 50, 487-501 (1985; Zbl 0576.03015)] for the solution to the problem of the number of non-equivalent Ackermann constants in R. (The answer is 3088.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$4952A6D1-0593-4FF8-A1C2-281F5B415430","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0aa64c621a2feafe101247ed541c38a7affa2b8e","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$1F94E013-7464-4F49-A309-8EC33EFA8482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092033$D87F3AAA-CD35-48AD-B1D4-D780EDD73ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092033$88A016A0-C560-42A4-AA53-E034C0637D5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d1fa1891f6e8d3366c3960027a4e2ef793b8751","datavalue":{"value":"4012574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092033$A5D4BD7F-50F3-4E62-BE00-C7B1281A3C31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e014ec18b8eaeff099801ddd4173b9bdbd839aa9","datavalue":{"value":"rigorous compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$BAB02593-A850-4262-84AC-5D91D37C9CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a263764cab256b3346d5bf9574ba8f3e094540f","datavalue":{"value":"Sugihara matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$78AD2CA3-833E-43E4-A574-856F8ED76E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97cc41583689f9f05edfc31d52a40437bb1455c","datavalue":{"value":"DeMorgan monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$8ACB11B0-0A74-413C-82D6-BC94A18B15CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"479e5fff40245c5f833b898982fa01e82ecac3e1","datavalue":{"value":"sentential constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$687B8C0F-BAF4-4FDC-A894-8213BF108CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853da626b785bd7ca8faab98b0fe94b6d5223bb6","datavalue":{"value":"relevant logic R","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$96AFF69E-30C8-45B6-AAC0-2E9CA36CC4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d6cd87b731c2bf900ffa9087e8cdcbed9f600d","datavalue":{"value":"intensional fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$9005027B-508D-4ABA-ACD4-728A1EA2F6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4c2308a1b544721a238b388e15451e4e4c29df","datavalue":{"value":"Boolean extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$0B4AF96A-A067-4E1D-BC56-BEE6639CDEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c815e9fd275290b79e17f5136c751023b4514d9","datavalue":{"value":"Church constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$9E85D3A3-7879-4F6E-860C-0ADED6319239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557bf828aaddd3a7f23cbc63dd45b06654c52430","datavalue":{"value":"Ackermann constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$7DC1CB8E-D2AD-4D06-86C9-EB1D9E2A3297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e29f791f7d511ff49fd83b29bf73809d18a194d","datavalue":{"value":"intensional connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092033$8FF00336-1058-464D-9BEA-E40B32371F1E","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":"Q1092033$09B62926-D3DC-46E3-B6E7-025ECD30C40A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daf6be85f2d6d6205652155ad2ae927c3705a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3237137,"id":"Q3237137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$3973914F-DC11-433A-BEA9-B9361A915ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb18186c6c017be4957bf1a791094bedbe7e206f","datavalue":{"value":{"entity-type":"item","numeric-id":1221098,"id":"Q1221098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$6C9B744A-E1B5-43DD-86D4-23E5D11888F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17ead031342026b30248a721964c6b8403d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5552158,"id":"Q5552158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$4D66B461-F0B5-467A-8761-353296AA5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b014d22707f25960e8bd454fb167f27730957d89","datavalue":{"value":{"entity-type":"item","numeric-id":5606566,"id":"Q5606566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$EFD25F5F-312D-48AF-A44B-47308A9BAD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$3CD04FC9-7D37-4E81-B052-5AFDE772F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad02d802f98c584b905e9a5a5f372d341f4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092033$90880C5A-3C74-40EF-A058-8517C287BA89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd99c28a5c3a7e69ac9bc8b2baa17c1d4921e5f3","datavalue":{"value":{"entity-type":"item","numeric-id":1181706,"id":"Q1181706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc0e3481d0981d2643bfa8052a4377df3789fb7","datavalue":{"value":{"amount":"+0.84331197","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":"Q1092033$CA986C53-9BD1-480C-B6BC-B93CE3D2D333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af83420b18338b816ff140680225aa9c31fda8c","datavalue":{"value":{"entity-type":"item","numeric-id":1313086,"id":"Q1313086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe22a606d730a03a9c30f4876a6556cb2713072b","datavalue":{"value":{"amount":"+0.8344042","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":"Q1092033$17841045-FD62-433A-B3E2-568513D2AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b423fc7b06128ed4f7efd84a5273136376f72fb9","datavalue":{"value":{"entity-type":"item","numeric-id":5020361,"id":"Q5020361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d428212965fc00e22945d6e9999967da3371d8d2","datavalue":{"value":{"amount":"+0.74868536","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":"Q1092033$34E24197-FAF2-4630-B3E4-8B2BDE43F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7533598a76a12d318916be1c804439075bd76fca","datavalue":{"value":{"entity-type":"item","numeric-id":2867855,"id":"Q2867855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ed06d89c8ca1280c9be46a7af00e15866e0fa8","datavalue":{"value":{"amount":"+0.73564184","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":"Q1092033$36210A98-5A9B-4988-9CF7-167979D531EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f9e3540107718672f31fe527bf25fe9dbf0531","datavalue":{"value":{"entity-type":"item","numeric-id":4532726,"id":"Q4532726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2d17099dae5ed6d231b4c483b6758ce5eee291","datavalue":{"value":{"amount":"+0.72760546","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":"Q1092033$C4566A35-355D-4D58-9753-AB52CABB9BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e160bbc77844d8e76001e27a3faa10807729206","datavalue":{"value":{"entity-type":"item","numeric-id":4903802,"id":"Q4903802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135ae07127d1bbcdb2a2f9397162c193fd8ca9a1","datavalue":{"value":{"amount":"+0.72144985","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":"Q1092033$69D237A2-90D8-40B9-96C4-B37930BB086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83854afefb575d7b9ff4c94ac767c730e2f07b0","datavalue":{"value":{"entity-type":"item","numeric-id":4698611,"id":"Q4698611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5757ee7c6ae3485a746d9ed76718f102f3dd084","datavalue":{"value":{"amount":"+0.7164934","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":"Q1092033$84146D74-80E7-43FA-B4C7-E299C0E47A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697ad0ba4587516712819751a3169294e80c0245","datavalue":{"value":{"entity-type":"item","numeric-id":3367504,"id":"Q3367504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c139df38aa4141c936b95aad7d3389f0ff2cb18","datavalue":{"value":{"amount":"+0.71405494","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":"Q1092033$A1759CFC-3804-4F97-BCF4-9F970993CEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb720d0aacec9201b3dfb05af7488b238e2be6","datavalue":{"value":{"entity-type":"item","numeric-id":295911,"id":"Q295911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97cfd345d76c64a5415e964a43a7eb4009530a7","datavalue":{"value":{"amount":"+0.71114373","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":"Q1092033$5BDC9E4A-C4C3-4144-88BC-3671701F3CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e962669c5fbcc386d84fce1ffa478d69f2a9464","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d11401502d836ca83b475cddd2704f7bc695a3","datavalue":{"value":{"amount":"+0.7100083","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":"Q1092033$9433C6FA-169C-4CE0-BA15-0B08CC86C70B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1092033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1092033"}}}}}