{"entities":{"Q1068811":{"pageid":1079563,"ns":120,"title":"Item:Q1068811","lastrevid":66076806,"modified":"2026-04-12T07:22:52Z","type":"item","id":"Q1068811","labels":{"en":{"language":"en","value":"Some paraconsistent sentential calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930971"}},"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":"Q1068811$69AA1A96-55E9-42FE-A8A5-0EE10AE3BD12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fee92c71fa99204660e7ec9c60044902e8e92646","datavalue":{"value":{"text":"Some paraconsistent sentential calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068811$2AF7FF4B-579C-4E27-9FF6-AED4B9A88392","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53fa16183b00aa793fcd6b533f597ca8c931c59","datavalue":{"value":"0582.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068811$D8C5FF11-A79F-42D6-9339-8AC54349456A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b9b9fd959f21994a31b667357059028f24b3d1a","datavalue":{"value":"10.1007/BF00935739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068811$5DD4C74E-4358-4BEB-B74C-064FC7A463DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1621c2849b68d6f8df0ce45fe27fdc30f29bfab5","datavalue":{"value":{"entity-type":"item","numeric-id":1068810,"id":"Q1068810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$E6CA6F39-FDCF-4BD0-A56C-0051A68B863C","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":"Q1068811$91CE5622-06A6-4BE2-89FA-FDE5156AEDFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1068811$60D6A130-206E-4827-88FB-652958753DDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"514b8b50ab3a0a5d1065c000a180665504216adb","datavalue":{"value":"Let \\(X\\) be a normal modal propositional logic. Let \\(M\\) be a modality, i.e., string of modal operators and negation signs. Let \\(M(X)=\\{A\\mid A\\) is a formula and \\(MA\\in X\\}\\). This paper investigates sets of formulas of the form \\(M(X)\\). In particular, results about their axiomatizability are proved. A partial answer to a problem of \\textit{N. C. A. da Costa} and \\textit{J. Kotas} [Stud. Logic Found. Math. 89, 57--73 (1977; Zbl 0359.02011)], concerning axiomatizable \\(X\\), is produced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068811$C8041B34-4467-4B3F-A8BB-CD6E1AA24871","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$06C8271B-A99D-4BED-8143-B06231C9F0E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068811$9AE4C204-BCB8-4A1A-B546-57F094944213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068811$3D1E3662-9AE0-4BD0-A62E-F76B8D69B7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25aad0d112d0e74f19bdb59fb7f11c976fe0587","datavalue":{"value":"3930971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068811$BD0AAC05-20AF-4A02-B0E4-DFAEC035D703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b317215c75c663b5a99df8041ca36fff0a1ae0f","datavalue":{"value":"discursive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068811$D430FBAE-4466-4144-8843-CCA83ADE00E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068811$8ECC3E1F-89D1-4CED-83A7-2C0D6767B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068811$F8FA9B3E-A505-4F61-A665-E3EA6A45720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068811$6CFF5529-48B8-4021-84E4-E4E3BC13F3C2","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":"Q1068811$48CB3861-8E8B-4562-9BB6-1D385CC8A600","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e77a9398c5a4ac8fcecba09eb0e24b26fc1e45","datavalue":{"value":{"entity-type":"item","numeric-id":4146718,"id":"Q4146718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$955FA5B9-72B8-4435-A239-E1A77EAA32D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c953837306a1ae0e1c8ace6887ca43cd6bb60f","datavalue":{"value":{"entity-type":"item","numeric-id":1240213,"id":"Q1240213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$CFD46EFE-3E55-41C0-9005-23A0FB11A615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$9FC5E48B-8E7B-4610-A0D4-67917B447C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c356dbb633e9227c6d8b2dd23c2c2362c0834636","datavalue":{"value":{"entity-type":"item","numeric-id":1218840,"id":"Q1218840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$CE18BE02-F192-4B78-A98B-BADEFF888F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64582f91724db2cb6825c02ad910a689f3d2678","datavalue":{"value":{"entity-type":"item","numeric-id":1212927,"id":"Q1212927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$57087E16-DF1B-493B-857E-B22F98DDFA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24309a16216e506e023d38e45e0d25f9d9fd0059","datavalue":{"value":{"entity-type":"item","numeric-id":4093414,"id":"Q4093414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$3291BFB9-7A8C-4D55-B6B4-8DECC181410E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068811$239F5D5F-C89D-4532-A3BA-E66A3F0E4B0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5047ae330e47a3151d4e757afd364f3d9512c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":4300132,"id":"Q4300132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a86f2e96184f65a4606e58c59d8cc230a11219","datavalue":{"value":{"amount":"+0.7776042819023132","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":"Q1068811$992F921E-5103-4C50-BE1E-36BF9B589B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1def84c0062e916972ee9f659ecedab11a8131","datavalue":{"value":{"entity-type":"item","numeric-id":2825416,"id":"Q2825416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4c9b89d53e2c9bde6055a64b15970ccd2c9136","datavalue":{"value":{"amount":"+0.7752410769462585","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":"Q1068811$3F871442-7E13-461D-8816-7A2E9C6F5DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4cf34d1d5d231eccb05b66565629af4966af161","datavalue":{"value":{"entity-type":"item","numeric-id":1103609,"id":"Q1103609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2eb2315ec5f0db606d5d0353a54f8d99795a84","datavalue":{"value":{"amount":"+0.7606250643730164","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":"Q1068811$F8D0431F-8465-4C0F-A091-8B23A309686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd7b7846c401a905b7cefd4503979241cc02613","datavalue":{"value":{"entity-type":"item","numeric-id":5474628,"id":"Q5474628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c8807692ff6fd7a154ccec93f1c51c47b15e25","datavalue":{"value":{"amount":"+0.7505670189857483","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":"Q1068811$51083607-9AF8-4295-AA8D-8082F7CEE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c674e9273099017efa93774149eb1e96a8a7b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":3726083,"id":"Q3726083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182366cc8a3ce4577b536ba768275d444e508c98","datavalue":{"value":{"amount":"+0.7461352944374084","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":"Q1068811$47082E54-BD4D-4A6C-BC70-91AD7ADB0C8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some paraconsistent sentential calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_paraconsistent_sentential_calculi"}}}}}