{"entities":{"Q1632057":{"pageid":1642798,"ns":120,"title":"Item:Q1632057","lastrevid":71574531,"modified":"2026-04-13T23:09:34Z","type":"item","id":"Q1632057","labels":{"en":{"language":"en","value":"Pecularities of some three- and four-valued second order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992803"}},"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":"Q1632057$E17570FF-58C1-4398-951C-6DE7C4B36A4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72af29af393bd7c8399f4d79001f4dc42d5a7c91","datavalue":{"value":{"text":"Pecularities of some three- and four-valued second order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1632057$C2798E21-BF8A-415B-B96C-084820FFD20A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef05e050a4936facb55d0a67ccf433c052db4ce","datavalue":{"value":"1405.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$D0819792-ADCC-470C-9AC7-F1574FB16977","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2321104d3886c08f41bc8f0b120d9f337d67cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1632056,"id":"Q1632056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$6D6E67F4-3FCA-4042-80D5-31F088C0C19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f25aab4c6b00769b6480f5283f54feec0bb72d4","datavalue":{"value":{"entity-type":"item","numeric-id":679253,"id":"Q679253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$D32FB055-0595-4CF9-A506-851269605AEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$3981145A-89AA-4707-A101-9A7FE5183977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1632057$D86F4B32-130F-42DB-81F3-863F98FD1A8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d152779b05b96745d25078e9e9e5606adc12599","datavalue":{"value":"The paper under review aims to study a second-order version of the well-known four-valued Belnap logic, namely first-degree entailment, FDE. A completeness theorem is shown in Section 6. In addition, the authors discuss a second-order version of the logics LP and K3, which are both extensions of FDE. The paper ends with a short discussion concerning a second-order version of FDE\\(^\\to\\), a conservative expansion of FDE with a conditional connective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632057$40140E1D-4DC9-43DF-9341-17B33D6053B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$3E41E58B-1F43-425F-ABF8-45A31A3E694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$C6BC6A37-E8F0-4766-A234-74A7942720A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$0873BB69-0FA3-4666-A55A-0160E54165CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$F94AA208-A190-4EC6-A341-DE25F1D4A741","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091d0cb9d62debc45dac743da9a6e3188b006e98","datavalue":{"value":"6992803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$2DACE462-8203-4309-9604-01D91254B3A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ab57a4985f9779a2881ec9c1f85d2c49a02623","datavalue":{"value":"first degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632057$ED54755C-AD08-4804-9954-633BEE00EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632057$E8360FC3-0974-41A5-87B1-DBFCD9C52547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632057$D78E018B-497C-4976-A1A8-6DB9C44C26E2","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":"Q1632057$1E9852E7-ED17-4E49-91BF-7446B2B73184","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dedbd150b2fc848a54fc64f2b7b72a9f95dd92d","datavalue":{"value":"https://doi.org/10.1007/s11787-018-0214-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1632057$A2790727-47E9-40E4-98BF-59E3B8F23BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d075b6c3ada1d07b6257ecd708e5c384df23ee9","datavalue":{"value":"W2896430270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$3F70CA2D-AE78-4B5C-BB26-C1D3119CD7CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1ce01eb2fa877bfa5268347f5d645d59997256","datavalue":{"value":{"entity-type":"item","numeric-id":1131500,"id":"Q1131500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$A54A7891-0D87-4092-A79C-E90E114F824D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$64C9CFA9-9A82-45EB-985D-72C3993EA593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ca3d938867ec3ffb5a919a90d11a6dff5bb75","datavalue":{"value":{"entity-type":"item","numeric-id":2555490,"id":"Q2555490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$3E43A21E-7D2E-4849-A2D3-A1E0946758F5","rank":"normal"},{"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":"Q1632057$8D3E4ADB-709D-4962-9D42-B0B58421CE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$CA6DB3BB-F55E-495E-8320-9265881AD972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$06C84BCA-F2C3-42D0-B1CA-13A20E5D863A","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":"Q1632057$84DB6B9D-AE53-4537-B834-24D921FF3220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455e580484c24f3d02b9fd38a724536f13b4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":1226480,"id":"Q1226480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$1549603C-08C0-49F2-B36D-7E579A2A0972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201925f15c609d2f92119fd535e5ae20a333a760","datavalue":{"value":{"entity-type":"item","numeric-id":1633895,"id":"Q1633895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$D30C1A29-66C0-4D2C-9097-3DB9E3F1AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$AFA3A291-1B7C-423A-BEE1-DC62DA869DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$EADF9472-7AAD-428D-8750-E88BC34920C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$38F378AE-2189-4ED3-BF6B-4530A3B585D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632057$69A22F88-F3BF-4FF7-B108-CDD3EEA8FB94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67b4181a1121980ed23cdfce38af367992f03cb6","datavalue":{"value":"Q129106943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$AED28FD0-782C-4F3F-A1FB-EA9392B4F065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68ea4b3586126933f6aedd152d38b7afd61b6d43","datavalue":{"value":"10.1007/S11787-018-0214-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632057$965D31FA-B56F-4ED5-ACC2-1BA7EF94DD5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cd51421d5965693886603d846e86304d5b3273","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af858c1f04d038e7b9dbd1dada815b0761c187a2","datavalue":{"value":{"amount":"+0.881767","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":"Q1632057$0BA4897E-A464-4136-9056-E94905B128DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379421ea6d2a162700d4a2c7087f24c00ba0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1346215,"id":"Q1346215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c87e9b102cfb14fc550e15280392ff28f58448d","datavalue":{"value":{"amount":"+0.88140625","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":"Q1632057$BD02DBAC-2874-4296-A762-ADA515810C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82db5c57d9d6d524cce9d7986eef63c56700eab7","datavalue":{"value":{"entity-type":"item","numeric-id":4395139,"id":"Q4395139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd933ba195657f9745158ede1159bad39ba133be","datavalue":{"value":{"amount":"+0.8723352","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":"Q1632057$64FFE2A8-9517-4DA2-BFC0-78ABAAA7D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80799dfb6b12ec03d7403e7dfbd9e277fe2cc73b","datavalue":{"value":{"amount":"+0.86931324","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":"Q1632057$97F8AC0C-BF98-4BAD-AAF3-82E7857155F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd82a7e2e4c6322f8f0d3df46004cbb4f2961b3","datavalue":{"value":{"entity-type":"item","numeric-id":5692876,"id":"Q5692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b437f3599b247fc42f0931c1920cd668b6a782","datavalue":{"value":{"amount":"+0.86750877","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":"Q1632057$A468F4F1-4783-4A28-9E09-C8C8D93A64FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc9cba2e9aa81ab07ab56179a8915643a8fcc80","datavalue":{"value":{"entity-type":"item","numeric-id":3347859,"id":"Q3347859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236307d41d751cb12f1e39fcbf5525d60548f199","datavalue":{"value":{"amount":"+0.867283","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":"Q1632057$4D1B3A24-A0C4-40CE-A14F-FF254A2C6BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3cf0c199a4999c025d4d1c9e4edd0d559f1d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3979210,"id":"Q3979210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2373fa73a752963168e7265b309e3bfce21e781","datavalue":{"value":{"amount":"+0.86513144","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":"Q1632057$F50F4D80-4EDF-4884-800B-9394CA69E4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935205e955be72bda1b17132d5f5249f994a683b","datavalue":{"value":{"entity-type":"item","numeric-id":5283795,"id":"Q5283795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fb19db1ba21e9ebde134301b151a9f7b388be9","datavalue":{"value":{"amount":"+0.86485714","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":"Q1632057$79E771FC-55D0-4CF2-B51F-C3A8EF302DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c187dd77945e56d862f2154c0c7570887356bf","datavalue":{"value":{"entity-type":"item","numeric-id":2698547,"id":"Q2698547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b36a23856f016b5202c0351d0872244c1010bfd","datavalue":{"value":{"amount":"+0.86399007","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":"Q1632057$53E511F4-65C8-42EA-8C3E-CCA81351A0DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pecularities of some three- and four-valued second order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pecularities_of_some_three-_and_four-valued_second_order_logics"}}}}}