{"entities":{"Q1744000":{"pageid":1754742,"ns":120,"title":"Item:Q1744000","lastrevid":73835175,"modified":"2026-04-14T17:26:07Z","type":"item","id":"Q1744000","labels":{"en":{"language":"en","value":"Interpolation in 16-valued trilattice logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6860344"}},"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":"Q1744000$DC75050E-FDAA-43F8-8358-023C08FF6A1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea20325834493b6bb6c1c6335967c0d58d2d2d6e","datavalue":{"value":{"text":"Interpolation in 16-valued trilattice logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744000$7B41D54F-8A05-458C-B6E0-B55FFFE48B18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd9543876769c7f92e663119d966602fac78f07","datavalue":{"value":"1437.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$6A9E0E39-0FA7-4A57-9620-27993F546AA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e23dd3583e00a7a6171f50fc509834020df522a7","datavalue":{"value":{"entity-type":"item","numeric-id":253120,"id":"Q253120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$2ACD0C7E-C7B1-49D0-A14F-25C59855A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b13b37d48cdd7c1c22e28c51a3fcf0b4929b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2350969,"id":"Q2350969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$FEB45212-AA8C-4A51-87F3-41E39B81AC5D","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":"Q1744000$BE710B82-A0F7-40AE-AA40-58234B27B309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cebd514f10184b17197e759da0a7f95e6df8d514","datavalue":{"value":{"time":"+2018-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744000$3B18DC52-42C0-4287-88C3-3C5BF03F944F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cadbf6133b485bdf869a521d8282902d8f1083b","datavalue":{"value":"This paper is a sequel to a series of papers on multivalued logics that starts with [\\textit{N. D. Belnap jun.}, in: Mod. Uses of multiple-valued Logic, 5th int. Symp., Bloomington 1975, 5--37 (1977; Zbl 0424.03012)] and [\\textit{H. Wansing}, J. Philos. Log. 39, No. 4, 369--393 (2010; Zbl 1200.03019)] where the trilattice SIXTEEN\\(_3\\) is introduced. Furthermore \\textit{Y. Shramko} and \\textit{H. Wansing} [J. Philos. Log. 34, No. 2, 121--153 (2005; Zbl 1094.03012)] and the authors of this paper [J. Philos. Log. 44, No. 5, 473--487 (2015; Zbl 1345.03050)] where they defined an analytic tableau calculus \\(\\mathbf{PL16}\\) for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN\\(_3\\).   In this paper, the authors focus on the syntactic entailment relations that capture central semantic relations of the logic such as the relations \\(\\models_t\\), \\(\\models_f\\), and \\(\\models_i\\) that each correspond to a lattice order in SIXTEEN\\(_3\\). It is shown that these entailment relations have the interpolation property. This answers a question raised in [\\textit{M. Takano}, Stud. Log. 104, No. 5, 917--929 (2016; Zbl 1417.03183)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744000$26363421-66A7-4417-BF07-251115AE9BF8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$1C32815E-773D-44F3-9644-50C5E6AF1CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$820F5F53-4523-40A9-8AAD-7FDA70C898D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$B9B02BCD-36A3-4B10-B64E-D34C2961EDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$B3148ED9-1A54-4A2D-A613-408C48BE3024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1de387623818939c63506196df0887cccab4a55b","datavalue":{"value":"6860344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$FDEA3EFE-B797-4A58-B003-FCEE693DDF3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744000$2C9DB7C3-EA3C-400D-883D-A7CB6FCF28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5e8e5e995256e69ff248923dbbbb8895b075b9","datavalue":{"value":"multiple tree calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744000$F7F8EB1F-8293-4453-8FBD-D35E6AF6DD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5799bc6622babd8ce9343bd95e6b925e09c34e9","datavalue":{"value":"16-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744000$9FCFAA32-290C-4729-9692-3282EDAF2139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78697a2d5e02b2efcb3c05a3d4a39f5384b1d5eb","datavalue":{"value":"trilattice SIXTEEN\\(_3\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744000$AD1E645E-87FA-444D-BE66-4DD9F768F8DD","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":"Q1744000$7206D5FE-5F08-47C7-91EB-1A09B87E6DDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3ad1d33fd67df73d734ddac7b85f54460449adc","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9742-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744000$1387489E-FB96-4E4B-AE84-0219F5D56975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fee59b2b37e920d974722553e93ea797cab7fcf","datavalue":{"value":"W2749645737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$4D8EF2A0-444C-4A39-9040-712D9BEA2902","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f86ddc1fcb28f73c0e3d0a9d20f703dc73ad7efa","datavalue":{"value":"Q59514361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$221E58CB-5945-4649-9DFF-B97626A57E33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$CB711B13-9E6B-4B17-B0F7-01D53EAC610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$A318B5FA-E56C-43E4-AE3A-D01369A2E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0fd760ff737386d8d98030e9ee8f1aad0e9455","datavalue":{"value":{"entity-type":"item","numeric-id":253121,"id":"Q253121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$031D95C5-A34C-42E3-AB59-4D348062B467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd1186c7ced4b2d96a538a97fdd3b269c04fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$483D19E6-3AD7-412E-ACFD-49B4F0AB939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e58e0472aba3c82614a4a9ce7aba2ab8622cf37","datavalue":{"value":{"entity-type":"item","numeric-id":2350215,"id":"Q2350215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$5DA99605-5395-49B8-BB13-D9E6E3881D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a9bcfdaaf19e02c113f9dcc608e29917fd3ff2","datavalue":{"value":{"entity-type":"item","numeric-id":2446542,"id":"Q2446542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$8A36A6EE-A2FE-4C80-8F5D-B465A9F45013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$7EE17351-FA9F-4371-90C4-A80E5AA56031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c2d698b304297790a0f2fa2c5c4812ff56ec2","datavalue":{"value":{"entity-type":"item","numeric-id":656420,"id":"Q656420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$9F51F91B-3CE6-4EC2-A7D1-AB2DD5251488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87628eb1911b92000afcb05abb72312c3502768","datavalue":{"value":{"entity-type":"item","numeric-id":911578,"id":"Q911578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$1C93076E-E5BE-4616-9945-2237840B316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d403672d094194b5c584cdc03315d82610b4f69","datavalue":{"value":{"entity-type":"item","numeric-id":332076,"id":"Q332076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$B51C78F4-65EA-446B-B170-442240D9532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c05397b126e4963f8923dce1fd35bc250121b46","datavalue":{"value":{"entity-type":"item","numeric-id":2339010,"id":"Q2339010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$F53BBB80-7DA8-41AD-846C-52FC0ED4CDAB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e98b42d8f50418bd8644240a83698a1d87453dd8","datavalue":{"value":"journals/sLogica/MuskensW18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$B3BAD058-D49E-45DB-A6F5-39C3D82DCFE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b1c6c7cd03bc1f6a26abb9ab391be15d5ad0bea","datavalue":{"value":"10.1007/S11225-017-9742-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744000$529D269A-3BF3-4BCC-B105-BC1C720648FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19250fbc17bbf56d6659ffa399378150b3f39eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5864216c414da0810fa8d09b462c5006b1af03c6","datavalue":{"value":{"amount":"+0.8114252686500549","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":"Q1744000$7014AA31-04E2-43B6-BF84-AEE1FF321DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417cb425f6308b99aca8f271e29220b5c25f245d","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ce10eeb2375606d1a8a35ee54915226c1707da","datavalue":{"value":{"amount":"+0.8014179468154907","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":"Q1744000$1EE330E3-6CE7-4277-BE5F-118E2B4E011F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebb6368d3d9e459f87436ca7cc1543ead67e913","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0105def21ec12184a4e754b1beb012f67aed7701","datavalue":{"value":{"amount":"+0.7916953563690186","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":"Q1744000$E9A84C15-E1A4-4BAF-9BEC-CA59981651B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faba762ddce02fb5d7f5ba33f4a7887ea46d087","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbfeb6381c1af704624f698b01ba605b9e74dfb","datavalue":{"value":{"amount":"+0.7820534110069275","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":"Q1744000$62729C60-B1A6-424E-B00D-BE647C3A52CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a94ad13101b52239e2a64c016a8d6455d899ecc","datavalue":{"value":{"entity-type":"item","numeric-id":253121,"id":"Q253121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b86b32b10fa435e51abe67fae23c3e0d82c8554","datavalue":{"value":{"amount":"+0.774410605430603","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":"Q1744000$D9AA05AE-0C1D-456C-B4CC-5B708E0D5668","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744000$CE114017-75AB-49C0-85DA-614D79F3BBC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation in 16-valued trilattice logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_in_16-valued_trilattice_logics"}}}}}