{"entities":{"Q2266005":{"pageid":2276748,"ns":120,"title":"Item:Q2266005","lastrevid":43783911,"modified":"2025-11-14T02:45:56Z","type":"item","id":"Q2266005","labels":{"en":{"language":"en","value":"Adjoint interpretations of sentential calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893175"}},"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":"Q2266005$59F66077-F8E4-4B00-AD43-73C9D764F389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46df0cdbaa462db27d1aba6e1ab4a7e4362d929e","datavalue":{"value":{"text":"Adjoint interpretations of sentential calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266005$2FC67F1B-8F52-440E-9503-E4BFF7405BF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4073278ffdba5b7932b57f050518d15e3073a67e","datavalue":{"value":"0561.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$194682F4-A9E7-444D-923F-4C1FDB9BB298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"405be00c8696335883b6e6c0486a64d2935f449a","datavalue":{"value":"10.1007/BF00403336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$B0AEAE3D-0A59-4CC2-BA2B-FC7BE19EA7B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1531ab4bea31197ad9cf147b554c9e991cc4fe28","datavalue":{"value":{"entity-type":"item","numeric-id":1065788,"id":"Q1065788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$C4D84B22-5172-4F95-B0A5-871403845359","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":"Q2266005$1E83B588-AA25-49E7-B07B-E0A37A47744D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q2266005$6FA2AC68-FF7E-4A8C-BD63-7D2A5F1FDA68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98ad68f791dd57790fbe7de463fddc806bc4ad19","datavalue":{"value":"This large step towards a general theory of mutual interpretability of sentential calculi by treating the class of all sentential calculi as a quasiordered class is self-contained but demanding. It is useful to understand the elements of category theory and be familiar with how Polish logicians investigate consequence operations in sentential calculi. Sentential calculi are treated as preorders under consequence operations. Interpretations are certain order preserving functions (functors) on sentential calculi into another. The key notion investigated is that of a special inverse of an interpretation: The Left Adjoint of an Interpretation. In several definitions and theorems the author shows how powerful left adjuncts are for comparing sentential calculi.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266005$94B7CCB1-4EF6-483B-87DD-25DA336E58BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$66DEAD8A-AD2E-4E4C-BCC4-86086FF0C2B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$C9D02D9C-9594-426C-9DDF-710C6983F131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$F560F200-4C4F-4B02-816A-3F24935C6E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ef2a941506d904ce5f3b93df54614c6c3977b80","datavalue":{"value":"06A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$6BBF487A-17E4-4132-AAC8-B99858CCEBAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3508cb3449414c21ac7e0a0a68dbfc80f5747b59","datavalue":{"value":"3893175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$DF6D1FEE-0270-45F6-AE0A-69FA05A8B9F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b642b5aa445ff2b0a114a4fa76c5d2e6c3e3694","datavalue":{"value":"mutual interpretability of sentential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266005$90E66F49-BE39-413F-9518-48A1ED0D2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0aed8de386de3f93cecb12efaa555213df7e8d","datavalue":{"value":"quasiordered class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266005$2B8C777C-65AA-414E-8123-899D6E9D1BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064009f19278680ad56f01e72556c16f38094a93","datavalue":{"value":"preorders under consequence operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266005$DFFEB4D7-C0E7-4CD4-9C92-796FF03ED2FC","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":"Q2266005$00CA13E0-F14C-4461-AE76-C17EA2E9A5F6","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":"Q2266005$C69E0497-A236-4246-8609-3D171A819BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b925f06524b51a36e22f15bda5c2d8f22715a7","datavalue":{"value":{"entity-type":"item","numeric-id":4078023,"id":"Q4078023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$3FD5A6F9-6CF0-4AC7-B65B-A47915381139","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":"Q2266005$0599A401-7A97-401F-BA92-E7D5F67A8E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$71EB6B34-2E36-4760-BE95-5D4A9A5E2C71","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":"Q2266005$16D56DAC-258F-4D98-BA4E-94FE6DB56792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f66da3c7b994a6b04b650bfcb20d65ef41e815","datavalue":{"value":{"entity-type":"item","numeric-id":5181357,"id":"Q5181357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$3A59200A-525A-4317-ADB2-D2D1798F13E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a730f126d5924b7820e2af5eadeb21f7e1b69e","datavalue":{"value":{"entity-type":"item","numeric-id":1221757,"id":"Q1221757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$774F8C9A-E47C-4627-97F5-376704F7253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$ADDA1C1E-DECA-4156-B21F-CB3D0FC2F078","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":"Q2266005$B402BA21-BBE7-4F74-9647-7083F4B1757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$49F2E13F-5622-4584-9ED7-0342E7A96D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e149938ae8cd404bd31f05264485c13e118e33e6","datavalue":{"value":{"entity-type":"item","numeric-id":2559462,"id":"Q2559462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$E4674A9E-94FF-4CF9-AB6A-BEA8AEB7315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$DF0A6CB2-6F01-4A73-B903-DDD87FD735B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a88d4048c32ae68d80971ed53cf09b320ea67a","datavalue":{"value":{"entity-type":"item","numeric-id":4064163,"id":"Q4064163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266005$F72A6B69-3DAC-4C41-8C95-94FA115BD462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bafcd71fd24b116e225fff43ce3546ec3b520fea","datavalue":{"value":"https://doi.org/10.1007/bf00403336","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266005$223B4102-4686-441A-B1BE-C0C842638F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"998d18e51464629514c6fd198bd454eab9772a49","datavalue":{"value":"W2078654533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266005$6E7FE8DF-C108-4CE4-8F69-45C24CB30046","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9e0ebc4ba764053a16c7e311f776d61dc994cc","datavalue":{"value":{"entity-type":"item","numeric-id":1867660,"id":"Q1867660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232440a4d20a3d09cee817f217bfb05b23ed6ee4","datavalue":{"value":{"amount":"+0.8824302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$6335CC60-D032-4F9D-95B7-5F1DF6CD2F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31a884ac8c73998813925b1dbdf908a36fb0c16","datavalue":{"value":{"entity-type":"item","numeric-id":2035649,"id":"Q2035649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0783f853183bebbb5763aa7590bd1a3b8fdb805","datavalue":{"value":{"amount":"+0.871137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$D9AB158F-1514-4E1D-9310-D9569BB8DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40470516232c15aa41e576734729d66c14c320e1","datavalue":{"value":{"entity-type":"item","numeric-id":929639,"id":"Q929639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42678433bcd29e00362725a7fd5d12caee5f8b1","datavalue":{"value":{"amount":"+0.86487454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$CA1ADF6F-BBDD-40B8-84A8-253CF0AB7D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48000d681563df99f43fc95220e36f3b76644d80","datavalue":{"value":{"entity-type":"item","numeric-id":4415709,"id":"Q4415709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7116087b7e159101c010b55fd8f7f42c82926933","datavalue":{"value":{"amount":"+0.8607273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$4BF09C01-CAB6-44B3-B3D1-6E3C66FD8B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895e7fbd021c95260b54b7cb565c3e81f1675837","datavalue":{"value":{"entity-type":"item","numeric-id":1068811,"id":"Q1068811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a43472c00ec3345b9a5bcd45b703dcc23d0137","datavalue":{"value":{"amount":"+0.8562292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$EFE9DEA0-3C44-4100-82D5-E18977CA144B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea82de8bb546719cd3a54a2ada6be44a2814d411","datavalue":{"value":{"entity-type":"item","numeric-id":1076010,"id":"Q1076010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37767a4db5740ff8b4d706cc7375d5cf76c63c9a","datavalue":{"value":{"amount":"+0.85265815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$BCB1948F-31FE-43AF-B03B-77087370913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb3a748ff0e6f0b68ddb4b34fc34e708484d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3360158,"id":"Q3360158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa6373f6fbc0e3585159b41fb21ecf0ddfa26c7","datavalue":{"value":{"amount":"+0.8506499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$7FE0707C-5721-4AA6-A89A-C70BAB4E73AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0f6acab23a0ef1c9df2510844c3229f06b6e54","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5a962fa0d1ce3bc05db3f702c35e84d33974b2","datavalue":{"value":{"amount":"+0.85000324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$F535D89B-FD3C-41FF-9F45-A838F454B534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fc9ee0806301014482aee3050a87bfa7f3d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b89c6872c917f8f66ff129e108dcc56e41551b6","datavalue":{"value":{"amount":"+0.84625983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266005$92882282-3E3D-4781-AEDC-440549A40FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2266005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2266005"}}}}}