{"entities":{"Q1337604":{"pageid":1348343,"ns":120,"title":"Item:Q1337604","lastrevid":67187823,"modified":"2026-04-12T15:55:30Z","type":"item","id":"Q1337604","labels":{"en":{"language":"en","value":"Syntactical investigations into \\(BI\\) logic and \\(BB^ \\prime I\\) logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683201"}},"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":"Q1337604$798DDBF3-0AF8-459E-8E68-3D46F709B28B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06454ace14b10fa98b5c223cdfc23d711b84e9f7","datavalue":{"value":{"text":"Syntactical investigations into \\(BI\\) logic and \\(BB^ \\prime I\\) logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337604$9FE77A4B-C80C-4F6F-9B15-EE6C55764433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e50f72cce69599c6f51fb2b4a3e91440a800d21","datavalue":{"value":"0813.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$4C7DC9C2-6CE4-4EDD-BD59-A39D12A6EFE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ed166b66c41c2aefb7c685482e279a36e0fbf59","datavalue":{"value":"10.1007/BF01057936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$DAB72F76-CD03-4EAA-8CDA-8367C8F73BF0","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":"Q1337604$617A9DC8-EDFB-48F6-9D5E-225CC3F4E352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337604$ACC50B3B-6731-46AC-A578-52049355C2B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"018759e558200b3b493edbc172827d1ec5592118","datavalue":{"value":"We will be concerned with four implicational logics. Parentheses will be omitted following the convention that \\(\\to\\) associates to the right. For example \\(\\alpha_ 1\\to \\alpha_ 2\\to \\alpha_ 3\\to \\alpha_ 4\\) denotes \\(\\alpha_ 1\\to (\\alpha_ 2\\to (\\alpha_ 3\\to \\alpha_ 4))\\).   The first logic, which we call \\(B\\), has an axiom scheme \\((B)\\) \\((\\beta\\to \\gamma)\\to (\\alpha\\to \\beta)\\to \\alpha\\to \\gamma\\), and modus ponens as a rule.   The second logic, \\(BI\\), has in addition to the axiom scheme and rule of \\(B\\) the axiom scheme \\((I)\\;\\alpha\\to \\alpha\\).    The third logic, \\(BB'\\), has in addition to the axiom scheme and rule of \\(B\\) the axiom scheme \\((B')\\;(\\alpha\\to \\beta)\\to (\\beta\\to \\gamma)\\to \\alpha\\to \\gamma\\).    The fourth logic, \\(BB'I\\), has in addition to the axiom schemes and rule of \\(BB'\\) the axiom scheme \\(I\\).   Let \\(L\\) be any one of logics \\(B\\), \\(BI\\), \\(BB'\\) or \\(BB'I\\). We write \\(L\\vdash \\alpha\\) \\((L\\not\\vdash \\alpha)\\) to mean that \\(\\alpha\\) is (resp. is not) provable in the logic \\(L\\). We say that a formula \\(\\alpha\\) is trivial (non-trivial) if \\(\\alpha\\) is (resp. is not) of the form \\(\\beta\\to \\beta\\). By the syntactical method (Gentzen-type formulation and cut elimination), we have the following three main theorems.    Theorem \\(B\\): For any formula \\(\\alpha\\), \\(B\\vdash \\alpha\\) if and only if \\(BI\\vdash \\alpha\\) and \\(\\alpha\\) is non-trivial.    Theorem \\(BB'\\): For any formula \\(\\alpha\\), \\(BB'\\vdash \\alpha\\) if and only if \\(BB'I\\vdash \\alpha\\) and \\(\\alpha\\) is non-trivial.    Theorem. The four logics \\(B\\), \\(BI\\), \\(BB'\\) and \\(BB'I\\) are decidable.   \\textit{A. R. Anderson} and \\textit{N. D. Belnap jun.} asked [Entailment: The logic of relevance and necessity. Vol. I (1975; Zbl 0323.02030), \\S 8.11] whether \\(\\alpha\\) and \\(\\beta\\) are the same formula if both formulas \\(\\alpha\\to \\beta\\) and \\(\\beta\\to \\alpha\\) are provable in \\(BB'I\\). This question is known as P-W problem to which \\textit{E. P. Martin} and \\textit{R. K. Meyer} [J. Symbolic Logic 47, 869-887 (1982; Zbl 0498.03011)] have provided a positive solution by a semantical method. Theorem \\(BB'\\) gives a syntactical proof of a positive solution for the P-W problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$44887010-78ED-4D34-9071-1FEEB0109A81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$A4DCE47C-8774-4457-ABFD-293B62155285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$AB93DAAB-38F9-45DB-977B-E378C5DF37B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$654B6998-C311-46FA-814C-BE475959048F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f330bcedd7e567b37e50f5bd30622f1f2783a0f8","datavalue":{"value":"683201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337604$A84D7100-0727-44FC-9EFB-67A967AB1EF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$67B6C1A4-1273-492C-8BFB-A36BA8C9C580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$EAD502EA-F3CD-4A5A-8B13-9AE476922B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e59f8a84535f4d9a69838a497c704812a57b9ca","datavalue":{"value":"implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$BB226320-9925-4299-98AD-DD9975B15B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$D0095C15-FF56-4084-9D19-DFDA35D4CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d31659b77338e1d84c8afab2b9114eb09d6dd6","datavalue":{"value":"syntactical proof of a positive solution for the P-W problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337604$B910FFCF-C8D3-44E9-B7CC-4953998B5053","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$DBA4AD88-EA38-4C4F-9884-346A85B75EB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a7b1de5980b26d5c9cc9949f66981448bd3a656","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$0FB34967-5F56-471A-8154-41223EB8799A","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":"Q1337604$33784E97-3627-4075-8880-1F0526DC4042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$E5C501D9-7498-4A8A-9505-B78558A4D608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$1FF86A44-BB38-4EC1-BDD8-581342246769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$142A5394-8CE9-4204-8515-3DAF1A6186F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80d12f62d1042fb6dc6c4635da143b6ae731dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$56D663DA-514E-4D3A-BACE-0A099F7E88A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc38739f50cf2ae1a4a90c1e0e690c3178c9a3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3962966,"id":"Q3962966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$F54128CB-BDE6-4D5E-A972-A819F62FDF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$E99A1F1D-8363-4151-ACF5-EE7922BD54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$B669091A-4654-477F-830F-4D15F1870100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337604$89E83C58-C209-4B37-B9B3-959561636C62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d7922ff4f1c603855165d2ad4aaef4d85cf333","datavalue":{"value":{"entity-type":"item","numeric-id":3998780,"id":"Q3998780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffedae31cc66cb7f86ad9fc94807b59752e096c","datavalue":{"value":{"amount":"+0.8794927","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":"Q1337604$3578FEB9-28E2-4E45-9203-623E86F1922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dc76d51cfe27e805447235a42370e069dcd11e","datavalue":{"value":{"entity-type":"item","numeric-id":5104710,"id":"Q5104710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbac04e86634d84b067c47278f76c144e133535","datavalue":{"value":{"amount":"+0.8705312","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":"Q1337604$9C5FF9D1-1EA5-47AE-83E4-24AAB01256F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2cbad794116b4f58408434cbbb1fb96e291724","datavalue":{"value":{"amount":"+0.86874044","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":"Q1337604$5EE86048-A182-430D-8599-4928AC3312B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30afd9bd68c73debc2a74ea19eb2a28dfbd542dc","datavalue":{"value":{"entity-type":"item","numeric-id":1130233,"id":"Q1130233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1da0bf25133847dba16749e25ad938b1157cac","datavalue":{"value":{"amount":"+0.8678516","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":"Q1337604$A0DE2044-621E-4836-BA71-B655E11D009F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6065844706c05aff78f76e09bf4765703d4bf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22990300e0431545e818835e9290507a65e6f78f","datavalue":{"value":{"amount":"+0.865868","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":"Q1337604$752CEC96-E91B-4A00-BBCE-C59936646463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae00882d441db776edf1cad292df9620da2d76a","datavalue":{"value":{"amount":"+0.8635575","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":"Q1337604$BE2C28EE-957C-4F7D-B7EA-CE5FDE212D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdf5010a988549be77ddaccc79f64b6433e8c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a08d07e64bef19ff929b43ba349c830811a6b3d","datavalue":{"value":{"amount":"+0.8620536","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":"Q1337604$76EDEA60-6AC0-4045-A01E-44DAE2014259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc9daa157874e5b08af6ccfb4800f13c2735dac","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d60c4e9777127a386fb7fe1efb33bc595581a85","datavalue":{"value":{"amount":"+0.86011326","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":"Q1337604$16397AE3-B398-4CD0-9FD8-4276CCB28E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1ff1ab584f0310763fe7e6d442683be57a54a6","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b23ea554a5b2947343288d09332feaa0f38c56","datavalue":{"value":{"amount":"+0.85870904","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":"Q1337604$BE533E2F-425A-4747-8BB6-DD70E5430766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c9f585fee5a6f28bcfc788ab6150927fdd14ec","datavalue":{"value":{"entity-type":"item","numeric-id":3305617,"id":"Q3305617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78def7c96df6f0d76d2ebde2ba7b667d01ce6942","datavalue":{"value":{"amount":"+0.85864675","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":"Q1337604$43D9EA50-D1C8-43E2-BE52-73C75E015ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactical investigations into \\(BI\\) logic and \\(BB^ \\prime I\\) logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactical_investigations_into_%5C(BI%5C)_logic_and_%5C(BB%5E_%5Cprime_I%5C)_logic"}}}}}