{"entities":{"Q2467221":{"pageid":2477964,"ns":120,"title":"Item:Q2467221","lastrevid":50256773,"modified":"2026-01-13T16:16:30Z","type":"item","id":"Q2467221","labels":{"en":{"language":"en","value":"On the logic of \\(\\beta\\)-pregroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5228624"}},"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":"Q2467221$9AC7CD46-7FC9-4E15-A294-12703D6DAB23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"915fc00b5634111d8c8c04c943990abcd31a00ea","datavalue":{"value":{"text":"On the logic of \\(\\beta\\)-pregroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2467221$CCA79C25-69B2-4F3E-805C-55837A3993C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ea46ffe9f0df6a03b03576062d306a6b33a53b7","datavalue":{"value":"1138.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$471B3F61-368B-47AF-9695-011E9DA3A1B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06792f4e6dba4fa5779ea267ec4801b960804746","datavalue":{"value":{"entity-type":"item","numeric-id":2467220,"id":"Q2467220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$15D4FC95-20DF-45FA-BF5C-2BD6E9E3D28B","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":"Q2467221$8634B97C-30F9-4540-B120-965ADB6D3CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2467221$8E1DEAF7-150A-4573-B606-B51B7D455BA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36c9a7a117cfca7aa5419e31b742e81cada8833e","datavalue":{"value":"The paper presents \\(\\beta\\){-pregroups}, i.e., pregroups with modality operators, in the form of a rewriting system, and proves that in a given derivation the non-expanding rules must always preceed non-contracting ones for the derivation to be minimal (normalization theorem). It then presents a sequent system and proves the cut-elimination theorem. For illustration, the paper shows how to use \\(\\beta\\){-pregroups} for linguistic applications.  Section 1, Introduction, defines the notions of partially ordered monoid and (proper) pregroup, and gives a theorem with some equalities and inequalities; then it defines types and quasi-pregroups, and states the Lambek switching lemma [\\textit{J. Lambek}, ``Type grammar revisited'', Lect. Notes Comput. Sci. 1582, 1--27 (1999; Zbl 0934.03043)].  Section 2, Pregroups, with modalities, defines a pregroup with \\(\\beta\\)-operator and a \\(\\beta\\)-pregroup. It goes on to define rewriting rules that define the free \\(\\beta\\)-pregroup generated by a poset \\((P,\\leq )\\), and illustrates this with an example given by \\textit{M. Fadda} [``Towards flexible pregroup grammars'', in: New perspectives in logic and formal linguistics. Roma: Bulzoni Editore, 95--112 (2002)]. From there the author proceeds to prove the following theorem [Normalization theorem for \\(\\beta\\){-pregroups}]: Every minimal derivation is normal.   Section 3, Axiom system for pregroups with modalities, presents the rewriting system of Section 2 as a Gentzen-style calculus of sequents and proves cut elimination for systems with modalities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$AAE5FDF9-60FB-48DC-89D2-6D7215F14F4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$B9B6D88A-383F-4F5B-86ED-418BA0D832EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$4CED73C8-07DD-4D60-A318-9D508EFD637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$47431250-EED9-4059-8F57-BF6D91CA94E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$0946BB83-FC3B-4436-A6A8-919AD5035EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$F4123230-D8C6-4E02-9DEF-46300DB06B03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89d629f95f7744be1f5851c273e1051c1f0a9452","datavalue":{"value":"5228624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$CEFA2059-4939-40FB-8327-71F1E01932BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc7ac9c1e9aff32b029d8fca4008efe0b87e4c9","datavalue":{"value":"pregroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$C285121B-5C5D-4B83-B45D-FE6DFF382167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43050c091f7eb10e400627d49dd3d9b65e774e9a","datavalue":{"value":"\\(\\beta\\){-pregroup}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$80A30BE1-888B-475B-846F-8248A46F4CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$C4B3B860-39CB-469B-BB56-A4AAC63A6E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$B72C3F6D-B032-4AC7-9B0C-C61C14BC6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$A989597E-2C9D-4BD6-9DB1-CD1B218AF3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467221$7AD941B1-D8FF-438D-B709-33164F1026FE","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":"Q2467221$619E14B6-2B8B-4581-B46B-A657F1719042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e894900d46ae079df43234df274bd5974d88125","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9090-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2467221$361A9051-C6E8-455B-B76D-306E071F61E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea8d15891ba007a79570203482f4c29d839d32d","datavalue":{"value":"W1971551322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$B8B4D4ED-CF2B-4504-B674-9CD8B374E330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88301a2f2b66e2c240fee5d7e75602ba93384786","datavalue":{"value":{"entity-type":"item","numeric-id":3754605,"id":"Q3754605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$0195175C-C216-4F27-BE0F-9D3F09607BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0d4d93f516a4fb923063e25a7b639da0d544c8","datavalue":{"value":{"entity-type":"item","numeric-id":1923836,"id":"Q1923836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$F9D171B7-AB89-4765-9199-A2A2C981302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b443d662262fea8c586e679cc80869facef9b1a3","datavalue":{"value":{"entity-type":"item","numeric-id":4547844,"id":"Q4547844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$DEC2EC6D-BFAC-47C5-A80F-1182D1019293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a0028b869056404e84b2df2ba7d18ff0306a59","datavalue":{"value":{"entity-type":"item","numeric-id":4434501,"id":"Q4434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$1477E8AC-8511-4BE4-B003-DBC6AE77E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473647de911722dd986a8060f43f358f42769c37","datavalue":{"value":{"entity-type":"item","numeric-id":4547845,"id":"Q4547845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$2134A16A-12AF-4B07-ABE4-7F99B9B053E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$0A15EBA0-119A-49F1-A68A-1D5440C3C56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120684facc9217c752b87d51d0552141f9a9f15c","datavalue":{"value":{"entity-type":"item","numeric-id":4823416,"id":"Q4823416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$77D760E4-AEE0-49A0-BB1E-6832B67DAB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$9B4D6280-E5C7-487A-8893-0173A704D3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6975301ed207e1b0b3b09b8ebfb8e694c6e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":4263075,"id":"Q4263075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$870CA572-C5CA-4C63-B471-4D0D1F65904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ca6e8934bfe0e6426272cf2ddd76bfb810902b","datavalue":{"value":{"entity-type":"item","numeric-id":5949346,"id":"Q5949346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467221$5473AF11-DA69-4C59-A963-11BA66B3473D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"529c775b870277d0a276030f9fdfdcce796fdfae","datavalue":{"value":"10.1007/S11225-007-9090-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467221$64A008DF-8D4D-4ACF-828C-2DF73945CC50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1f9693ec0d98ab2e06fbcb9c52d347a2c772d2","datavalue":{"value":{"entity-type":"item","numeric-id":2467212,"id":"Q2467212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd16ee60feba541cf8eff40a0181b10447754e4","datavalue":{"value":{"amount":"+0.8315508961677551","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":"Q2467221$4EAC5AD1-6D67-4370-BE5A-4530F7207F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c056c1b643f2170adf4665be2a333754dca47292","datavalue":{"value":{"entity-type":"item","numeric-id":1006493,"id":"Q1006493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b3e97c769a6ee77dc1071bea168c0c3b300ad8","datavalue":{"value":{"amount":"+0.8146289587020874","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":"Q2467221$43F75532-BCBB-45E8-9B35-F3D7AD7BAFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d89d813ef7de4e53172a7cc890b991bd124875","datavalue":{"value":{"entity-type":"item","numeric-id":4415069,"id":"Q4415069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ea1d58a2646659824c352aa540e76c2712f9c2","datavalue":{"value":{"amount":"+0.8126204609870911","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":"Q2467221$07B29C41-4D82-4450-9C7B-F407A806C8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8b4921f97c69c0082d7a3679aeb354a2c31a50","datavalue":{"value":{"entity-type":"item","numeric-id":4925864,"id":"Q4925864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f306cf6547d949f15723f2577442b29cf4391b4b","datavalue":{"value":{"amount":"+0.811674952507019","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":"Q2467221$67A5D687-58F0-4C98-AC30-0E6B77698B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88dd497f21e1d84a1430684bc5f09b8383db515","datavalue":{"value":{"entity-type":"item","numeric-id":3612659,"id":"Q3612659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdb7e0d8cf3f6298a3ff79f5a381088b58d4d72","datavalue":{"value":{"amount":"+0.8035064935684204","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":"Q2467221$ECABF703-C2F0-47A5-B67A-3C9CC7E639DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2467221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2467221"}}}}}