{"entities":{"Q853814":{"pageid":855662,"ns":120,"title":"Item:Q853814","lastrevid":64878183,"modified":"2026-04-11T22:50:09Z","type":"item","id":"Q853814","labels":{"en":{"language":"en","value":"Connectives stranger than tonk"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073730"}},"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":"Q853814$13A66977-E862-4812-B9F7-9E1A04AD7FCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e9a93a90ca7322d5445c17edaa16c8697fa7875","datavalue":{"value":{"text":"Connectives stranger than tonk","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853814$A35EF257-D2DE-480E-A3B4-DA5D0BC96D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7a9f0cd031c84d738e3d03387ce0983d457209","datavalue":{"value":"1107.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$9C10DB34-42F8-4957-BCCE-0701F9907512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$F8E8F39F-78E4-47CC-B731-7DCC6A210BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$C826280D-B8A0-4697-9850-9F9C064B02C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853814$80BA41E1-7D3C-44A0-BD19-AE123866CC56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad838b6067e777e85b7272cec2d80e34f5654c87","datavalue":{"value":"From the viewpoint of proof-theoretic semantics that the meaning of a logical operation is given by a suitable inference rules in the natural deduction system, Prior's binary connective ``tonk'' brings about something undesirable, for it is indeed given by means of inference rules in natural deduction but trivializes logical systems unless the derivability is not transitive. Recently, Cook has modelled the connective by modifying the four-valued semantics of Belnap, in which therefore the consequence relation is not transitive. In this paper, the author examines this kind of trivializing phenomenon in generalized contexts on logical systems allowing not only non-transitivity but also non-reflexivity for syntactical derivability (and/or semantical consequence), and shows among others that there can be given such a trivializing (0-ary) connective in any non-trivial context. Thus the author remarks that the acceptance of arbitrary introduction rules for logical operations permits operations leading to triviality in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q853814$83E61AE4-A7ED-4FAC-9CE4-A9ED7D283D4A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$178A3C74-8D77-48B4-84EE-7E36FAC5A6D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$550CAF4D-8655-4415-9DFF-F69A64A6C922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$1B947361-6EB2-462F-A724-85F1D7C18956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"610af6af707c2bd798ca6b31d95e5dd2e95ef104","datavalue":{"value":"5073730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$6622AB05-E85E-4FE9-910C-8FDEA7DE17D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q853814$AAC52266-0D88-4B6D-A2DA-1D43B45C9626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161d28adac47a7fde01fea83686dff3154305811","datavalue":{"value":"trivializing connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q853814$D93D9508-9E1B-4041-B932-1FB550733DF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fc1a21339bf57fcd3fb28f3310bd7c50400e6e1","datavalue":{"value":{"entity-type":"item","numeric-id":16752,"id":"Q16752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$4C9A87D0-F1D0-4E14-AF90-7E17923D5205","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":"Q853814$2CB078A5-3EEC-4678-92EE-81128E9C20E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16d9e665fcf89031c538106ef4882e77c1a84089","datavalue":{"value":"https://doi.org/10.1007/s10992-006-9025-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q853814$11287C57-CE1F-4C24-A469-E20F9A276CAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccee6401b71fe8a4e05f94289465ef5447f7a09d","datavalue":{"value":"W2020146672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$A7962144-C15D-4C96-8BE3-49FF114CFB67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$30215444-AC6E-462B-BDD1-31BEC1D8A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$49EC734B-56E6-4CDD-B45B-840D4FF859B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a98f331ce95d90b88e2b966ce869da1cef90f6","datavalue":{"value":{"entity-type":"item","numeric-id":815017,"id":"Q815017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$B2FEC5E5-49B0-49B7-902F-D41C9D7FEA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0f6dab6df5795dee6205f156e70377eba1bb80","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$AC56E370-5378-4DBB-8E34-916D77B5FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615a6cfc69bfc970b51f323fc44f5f6cf87d7f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4698606,"id":"Q4698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$4C907A72-57B1-4055-A755-44DB74CC55F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad7d6be8d828e741320b3d4554a289565a066f6","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853814$E431CD38-C389-4238-B974-156F69BBC8E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7809347f86139a9e8ee074ea5bbe3c7f4dd1aa89","datavalue":{"value":"10.1007/S10992-006-9025-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853814$BA954D55-AE6B-45DD-9979-09BBC664B21D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"175d627ed4efd7640a7e1203fab5502a3ff41a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01fc80d03044fc53a16ba28de6c1c0431386976","datavalue":{"value":{"amount":"+0.8394771","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":"Q853814$736D676F-6B13-42B0-8D03-EA09B568FCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04284a8f333592abbe9a9d2de80d7990597c147a","datavalue":{"value":{"entity-type":"item","numeric-id":4275485,"id":"Q4275485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbee31dc2947da9eb53ff64016770d52cc7da1d3","datavalue":{"value":{"amount":"+0.80332124","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":"Q853814$2AC18E55-8771-453A-B360-22C53E8AAD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e534fdf9e9de2c430759478c191768c7fa424841","datavalue":{"value":{"entity-type":"item","numeric-id":5099996,"id":"Q5099996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09612d3b60b6a36430e5cf55defbd5b516f9afc5","datavalue":{"value":{"amount":"+0.7965807","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":"Q853814$5C3E2E18-09A2-43F3-A1AF-B224557F4CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7410739afeec77d96e72cc2d7f998f5c2067c662","datavalue":{"value":{"entity-type":"item","numeric-id":4206096,"id":"Q4206096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ab7de6e08e29b8685107995240da9ca7366840","datavalue":{"value":{"amount":"+0.7761281","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":"Q853814$AE4EDDE8-4729-45AD-9E75-9B37EA39E79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb84e522bbe748928cf58be4d6e29e920753887","datavalue":{"value":{"entity-type":"item","numeric-id":426233,"id":"Q426233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d30a4e2c732c36f2d72338fbc917119ead8c38","datavalue":{"value":{"amount":"+0.7756854","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":"Q853814$EF6C5BD4-EBA6-4011-834C-198562017E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d3621bc544b3e2d369ac7c503395290331eb89","datavalue":{"value":{"entity-type":"item","numeric-id":442630,"id":"Q442630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de327a59f6e1e2d7152f96e5005a4464f223b8e","datavalue":{"value":{"amount":"+0.76958495","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":"Q853814$1E286C9A-F098-41D8-A029-510C5D2AFA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ff312547ec29642efa98e26f89a599b8d61c66","datavalue":{"value":{"entity-type":"item","numeric-id":1941724,"id":"Q1941724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2016eea1e89a3277304f338c77ab0dbbba191354","datavalue":{"value":{"amount":"+0.7670773","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":"Q853814$2BCE1D23-9473-48B1-B1B1-B8FACDB153B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01138b87ff55942c1684daea373093ced348823f","datavalue":{"value":{"entity-type":"item","numeric-id":1342840,"id":"Q1342840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5325f2537b65f9b9422a09235d33ae86be5df575","datavalue":{"value":{"amount":"+0.7659347","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":"Q853814$7AA68753-6F2A-466B-B77E-F165CDCB8334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d16a28adc6518b15775a1989491176d290b62f","datavalue":{"value":{"entity-type":"item","numeric-id":5220649,"id":"Q5220649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8814b0cb88db3a883b0288a79e2ea6c4595b8432","datavalue":{"value":{"amount":"+0.7640794","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":"Q853814$487E171C-E265-4C43-B4FF-514F499FE3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a20ec5794611d78d5fada8e7cd7a1519e572e9","datavalue":{"value":{"entity-type":"item","numeric-id":4371032,"id":"Q4371032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb43d40c7195c951e11632bfc0664b7fee065f2a","datavalue":{"value":{"amount":"+0.7581772","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":"Q853814$5C0284FD-6886-498C-9C8F-62CE985DD9E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connectives stranger than tonk","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Connectives_stranger_than_tonk"}}}}}