{"entities":{"Q929639":{"pageid":931487,"ns":120,"title":"Item:Q929639","lastrevid":65423169,"modified":"2026-04-12T02:30:06Z","type":"item","id":"Q929639","labels":{"en":{"language":"en","value":"Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5289530"}},"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":"Q929639$2597BD65-C9E9-46D6-8A28-B41940944167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87c90488faa2e27b773966881dd6917bf4002eeb","datavalue":{"value":{"text":"Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q929639$581C941D-73B2-4AC2-8AED-8EEFB2146EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f36e12726080361e920cb01521e23b3bf29c420","datavalue":{"value":"1155.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$2098C60E-E0DC-4998-8078-2C4A54A980E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d12dd02dcdd74c2b92d8f41cbf17a34285826c7","datavalue":{"value":"10.1215/00294527-2008-007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$685AD3FF-052B-400B-A70C-FD7E027482BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985857afe793c4fbf5738ab6e314ed28c93dd5ee","datavalue":{"value":{"entity-type":"item","numeric-id":929638,"id":"Q929638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929639$6346C4FD-4058-4BF9-9FA0-EAF0575F4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da2f4346d4fd64bafaae9a02ed69318dee8c29d2","datavalue":{"value":{"entity-type":"item","numeric-id":590975,"id":"Q590975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929639$77582774-49C8-49CB-B35A-FF424754EDB9","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":"Q929639$57444E04-497E-4F94-B64A-8BCDDDF6CCAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356eea10e764deb786aa3952f426bffa667794bd","datavalue":{"value":{"time":"+2008-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":"Q929639$8D8B90C3-BE63-4CDA-8EB9-715D8D88B20C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f888e50772d56d7b3787fc3cddb4943a4f3f23b","datavalue":{"value":"The authors prove that there are left and right adjunctions:  \\[ K\\dashv J: \\mathbf{CSL} \\to \\mathbf{ISL}\\quad\\text{and}\\quad J\\dashv G: \\mathbf{ISL} \\to \\mathbf{CSL} \\]  between the category \\(\\mathbf{CSL}\\) of classical sentential pretheories and the category \\(\\mathbf{ISL}\\) of intuitionistic sentential pretheories. The functor \\(K\\) is the category-theoretic analogue of the G\u00f6del-Gentzen schematic interpretation of classical propositional logic in intuitionistic logic. The functor \\(G\\) is related to the law of excluded middle. Both \\(K\\) and \\(G\\) are full embeddings of \\(\\mathbf{CSL}\\) into \\(\\mathbf{ISL}\\). The functor \\(J: \\mathbf{ISL}\\to \\mathbf{CSL}\\) is injective on objects. Moreover, the authors prove that there is a pointwise epimorphic natural transformation from \\(K\\) to \\(G\\). Therefore this is an example of an adjoint cylinder as defined by \\textit{F. W. Lawvere} in [``Cohesive toposes and Cantor's `lauter Einsen''', Philos. Math., III. Ser. 2, No.~1, 5--15 (1994; Zbl 0801.18005)]. The authors recall Lawvere's slogan: ``Adjoint cylinders are mathematical models for many instances of the \\textit{Unity and Identity of Opposites}''.   It is also proved that there is an adjoint cylinder between the category of Boolean algebras and the category of Heyting algebras. This is related to the first mentioned adjoint cylinder by an equivalence of categories which is extended from Lindenbaum-Tarski operators that define algebras from pretheories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q929639$0B7A4A1C-C8C0-4E1C-B6EC-0FA7A42674EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929639$B2A3AF25-A912-400E-88A0-9519409B69F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$8C24B98A-ADD7-40BF-8E2D-8D8EB7DAF950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$1F09B39E-385D-4853-8065-BC2A73E490D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$089E7E74-AA9E-4425-87CC-66BD65E5D5BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e5964c03ebdf5c9c497e1843cc4b09752769e2","datavalue":{"value":"5289530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$F2BC72D0-EDB3-4504-AF1E-E6B8BAD7908E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dce4e84aab23df3b4dc795e81e9532fde644f7f","datavalue":{"value":"Lindenbaum-Tarski functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q929639$8CF058B2-002C-4132-912C-8654B83BA51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1870663190884673ddf917a157d001a090f9fc","datavalue":{"value":"\\(\\ell\\)-congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q929639$745A8100-4713-4278-B62E-92A170AB8CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd00c56eb313ddc02fd56e7c0b94ea46307971f5","datavalue":{"value":"schematic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q929639$FC8DFD4E-EE75-4C44-A93F-C7B5F8D9B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b629f3338608d83fc8aa83c8a333b6c7035da8","datavalue":{"value":"adjoint cylinder","type":"string"},"datatype":"string"},"type":"statement","id":"Q929639$A5355FA6-AEC2-48CD-8D84-722BAE20E5A9","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":"Q929639$1D549F73-C925-4EEB-95F7-7E1FABEC1986","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7fc859021691508894ca2e468896beef88a762","datavalue":{"value":"https://doi.org/10.1215/00294527-2008-007","type":"string"},"datatype":"url"},"type":"statement","id":"Q929639$04645F62-5023-441F-BFD4-FDA34C948694","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cbf3e2e53463e0ef06b51168925ba15bc8f58de","datavalue":{"value":"W2046431431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929639$45B2C296-37A2-4C37-84BD-9835F6072F47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9ec67f3873d7863813b538dcc818764a7c3909","datavalue":{"value":{"entity-type":"item","numeric-id":2373968,"id":"Q2373968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f646fc5a04244887e72a5318f74ea8bdfd612f0","datavalue":{"value":{"amount":"+0.75310516","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":"Q929639$099AA1D8-6AF9-4314-B456-797664C64756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0cfc0dfa1add7d047d8167a4d5b1792038efc24","datavalue":{"value":{"entity-type":"item","numeric-id":3411965,"id":"Q3411965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b38199fbbc47db1d435124adefaeea0963adea1","datavalue":{"value":{"amount":"+0.749274","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":"Q929639$B135235A-60D6-4054-B789-8D055B4B5877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d686c78710c35fb6bf7f3f575cbb0884931aa","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab11cf96f48ac02328ccacddf5e7f8299054bf","datavalue":{"value":{"amount":"+0.72780174","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":"Q929639$49178463-036A-411F-847F-D8A4DD942F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff6338150ed8a6717272444d861d21b42831453","datavalue":{"value":{"entity-type":"item","numeric-id":5903366,"id":"Q5903366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2c003e290a4a7f86802b438fae1e6fd6672907","datavalue":{"value":{"amount":"+0.72547096","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":"Q929639$CE92F2EC-1564-46BB-80B7-59CFF3573E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de377183ffe4967952ad75ea6839987321f941e","datavalue":{"value":{"entity-type":"item","numeric-id":2266005,"id":"Q2266005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a30e281a00efd84090ee29615f08ff3bb8c43d","datavalue":{"value":{"amount":"+0.71588916","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":"Q929639$B7C86A12-9E61-4EC3-BC09-7D41F7699760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35c9267e6578d1417dac1cff476ca7a09f5cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":2324841,"id":"Q2324841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea82fee9f8bd965a7b78ef6187144ee90ddc761","datavalue":{"value":{"amount":"+0.7111715","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":"Q929639$F7AB4092-6BFC-4FC1-A0A2-ED2E1198542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b583cc996c663254efb6b20a66488980023e11","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbd7c7e471fc3a3f552b0ba793302f06343f65d","datavalue":{"value":{"amount":"+0.7069119","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":"Q929639$AA5B0390-5C45-4A28-ADB2-5B3EDB674FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215fb10386423ad233308f9c270e9d0e092daafc","datavalue":{"value":{"entity-type":"item","numeric-id":2500815,"id":"Q2500815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8a60c453f8740400377e00a4caa8b5c3b952cd","datavalue":{"value":{"amount":"+0.70551836","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":"Q929639$0A7526CB-A738-4303-B7FA-6C7C1D60564B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functors_of_Lindenbaum-Tarski,_schematic_interpretations,_and_adjoint_cylinders_between_sentential_logics"}}}}}