{"entities":{"Q809992":{"pageid":811840,"ns":120,"title":"Item:Q809992","lastrevid":64543923,"modified":"2026-04-11T20:36:41Z","type":"item","id":"Q809992","labels":{"en":{"language":"en","value":"Simple consequence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212002"}},"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":"Q809992$1FDD88AA-73B8-4372-B5ED-07B8DEDA9FEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17dc7d78bda3149c5d7329d137ec24a04710dad0","datavalue":{"value":{"text":"Simple consequence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809992$7C48EB67-D6D8-49F8-BD86-FC563C2C0A3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6beefb132f3c60858ce8c30c8ff68dc75f9079cf","datavalue":{"value":"0733.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$F66DE365-0B07-40C6-BA27-7DD5EC73E447","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b3f37f9a555af4cf5550dc5c6ffe24c397a4f0d","datavalue":{"value":"10.1016/0890-5401(91)90023-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$74895461-5CEE-4021-B82B-4ECCE078E9B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$2B1C51AB-A77B-4BF4-A88C-2A0AFE538180","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$B021960C-A0A0-47BA-95AC-3180D03EA2C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q809992$C41DFD00-FD13-45EF-AFC1-D44B52884429","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da6e3930273e8d5d0ef2acf4abc1c6b95b6df0a8","datavalue":{"value":"The approach to characterize propositional logical connectives by rules for sequent calculi was developed mainly via natural deduction. The author uses multiple sequent calculi with definitions like: internal disjunction is a binary connective \\(+\\) such that \\(X\\vdash Y,A,B\\) iff \\(X\\vdash Y,A+B\\). In this way he characterizes multiplicative and additive connectives of Girard's linear logic as well as other connectives. There is a hope to apply this framework for implementing logical systems on computers using the LF system. A good test for such an implementation is to try to prove translations (into the system considered) of sufficiently difficult intuitionistic formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809992$0FACA710-5B6E-4B0C-97F1-EC5C721398E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$8A6C27E1-26AE-4D2D-A155-9E29CB53558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$C8B0453F-6BEE-4BCB-A2D5-EFFFE09D6CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6499d8e019582e59e84ee495253b52e097cd688a","datavalue":{"value":"4212002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$6870AC40-A13F-479E-A82A-89D1B9D2F6E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18463181be6f31093c8c6fe4270210dba7ee5d00","datavalue":{"value":"logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q809992$A3BFFEC8-8EF4-4CE6-AC22-DDA353C9179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9971cf9de58f7ccac111e71f25d60b8ea5a55d96","datavalue":{"value":"multiple sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q809992$D009BFBA-664B-414C-B74F-A47D98E7DD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809992$B2FFCB93-622B-4CA9-9A28-EF600FE146FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$00643C8D-0831-4739-B64B-1DD4A848391C","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":"Q809992$8B08A056-FC81-46F4-BB03-F02105ACFD93","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":"Q809992$5D0A72C4-9009-43EE-B7EF-2CEB1E45F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$0B791BE0-EB2B-4A73-9E44-9F23EECB4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a394c809c6f332dec417e66a5e917d4c8c28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1088648,"id":"Q1088648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$EE77D295-765E-4F8E-9C6D-35C6B0092CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$9704982F-AFA4-42AF-85D8-8D052479A11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$4186EAA0-416B-499F-A37A-5EBB85EC1F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43d802f7fd6c267e5d32c3cf557b56e8f197773","datavalue":{"value":{"entity-type":"item","numeric-id":923083,"id":"Q923083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$774283FE-9ABB-4B1A-8E23-2C34D623FA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$D52C0FC8-D8D6-4A81-94E9-B113D922F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$C934EDF3-55A5-4BAB-BA95-B5A0D4262AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$9949CCE4-1756-48CE-B748-7F00D3EEB44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$2D19B04C-5B08-4B3B-ACE3-5F930FA03CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$0660F9FE-08D4-4E6D-AA53-0FE7A5BE2DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$A9EB2C74-8F91-4F58-B27D-B315AD531F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$4481A1B7-2BCB-4E68-83D9-F03A45BCB888","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":"Q809992$6929E11B-B5FF-4261-9815-0387E1E83370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$DD6F7722-81B3-4D58-850D-066BB8D52D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$3F2D4AAC-2A4E-45A0-8C63-A801DEE95653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$571C4D71-2673-42FE-9939-23AC7FD2B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$AD6BAA0A-EF55-4644-B554-BB728F3F5BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$CE8768FA-13B8-4A62-BE08-98661876A674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$BDE0DE81-2877-4A5E-A83B-FBA47797AF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b350a678a50a52bf732fd7e9002ae33d3f14e","datavalue":{"value":{"entity-type":"item","numeric-id":4049046,"id":"Q4049046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$F6FC593E-CB7A-4E4C-94D9-799241618A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$AE74C654-9A5F-4131-97C6-C86B93442FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb00a863c44730b9ebf150a6747d81ad91a6aa39","datavalue":{"value":{"entity-type":"item","numeric-id":5816696,"id":"Q5816696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$427283F6-C3A4-427A-A6E4-D9674645D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e64944b347254bf7e8e7439e3cdd4a19b4c84861","datavalue":{"value":{"entity-type":"item","numeric-id":4789453,"id":"Q4789453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$361D01EB-7E75-4C99-A9B9-09F3472A8A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88cafda8ff3146175a65503bdf55e10e869601e","datavalue":{"value":{"entity-type":"item","numeric-id":4342086,"id":"Q4342086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$69496FCF-F54F-4BEF-BAC3-AB2D6F1768B5","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":"Q809992$696D912C-0127-470C-9DD0-C8E14EC13ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809992$A876A813-4192-4F9C-9282-3F5EB5F393B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8939fbe028d9726fd79c56062a783e7dbf7d04d9","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90023-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q809992$FD78649C-6C1F-4430-AAEC-4BAB39AAB69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b217f8bc75cdc718480d85039b6ac6c0c441bad","datavalue":{"value":"W2178257282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809992$3E85B6ED-4152-4620-B26D-9189F2BDDE97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c048891708de23fcab0c9666a0483d7016953e","datavalue":{"value":{"entity-type":"item","numeric-id":3691633,"id":"Q3691633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ed8a1eef919c2e1b25d61dc4e5aa5d87fa4c79","datavalue":{"value":{"amount":"+0.7225927710533142","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":"Q809992$1A223B24-819F-4F9B-B19A-812F702A0E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4c60c11793131459eecc0171d2e37b1ddd93c1","datavalue":{"value":{"entity-type":"item","numeric-id":4942674,"id":"Q4942674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef2d4d28dc12f443e2b1af33e5a18705779b317","datavalue":{"value":{"amount":"+0.7124879956245422","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":"Q809992$A83F2C21-F6F4-47B2-B9C3-B48068ABA748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480d34ada52512edd8d56ffe96ce27cac8606b8d","datavalue":{"value":{"amount":"+0.7119287252426147","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":"Q809992$11799526-C050-4F6C-B026-D41653E35593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28853bf0c732c6ee45d06bebba226da46f0d5ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5250317,"id":"Q5250317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbf52377fa77f35fdb84850e0fb7b61d02f6564","datavalue":{"value":{"amount":"+0.7105975151062012","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":"Q809992$DACB806E-AB24-4578-ABDD-A22C638198D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff4342ec51b251619a8cbad0c282477ebe7a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":2864215,"id":"Q2864215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c776452ccbbc7506218e3f0619500f79fb5801b","datavalue":{"value":{"amount":"+0.709694504737854","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":"Q809992$8E335D75-D99F-4973-9394-F596EE2AE67D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple consequence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_consequence_relations"}}}}}