{"entities":{"Q1612691":{"pageid":1623431,"ns":120,"title":"Item:Q1612691","lastrevid":70767009,"modified":"2026-04-13T16:43:16Z","type":"item","id":"Q1612691","labels":{"en":{"language":"en","value":"Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\\(\\forall\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1788483"}},"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":"Q1612691$65740B91-7FF0-4F4E-9667-82F8393A37C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7ed0027103c651312634933176a59c7e8844498","datavalue":{"value":{"text":"Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\\(\\forall\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1612691$BF9D03C2-404F-49EC-8C0C-CEEADBA9F5F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0113e18af8638fa29391f391efa25bd5520ece86","datavalue":{"value":"1013.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$24D6FFA7-B1B1-4A29-99FC-C05F15A0C36C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5805becb0755bd2e2e21e599329caef317377fa","datavalue":{"value":"10.1023/A:1016500922708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$83A14431-6D4F-4DF0-A118-A91A6F366A75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612691$E50DB9C3-166D-41A1-930F-A333EAAFC644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612691$5B4B0357-DEDC-4E32-A871-5A87027B0873","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":"Q1612691$C5B81BA2-8FE0-4539-BB13-AD969232C03D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"811f56d1f4ef4db69481bdd8a11f0dcd5f700d16","datavalue":{"value":{"time":"+2002-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1612691$D598BD69-87AA-48E7-914D-6DCA56416844","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7836978e990e9754c0bbf8c8c113000997ad0578","datavalue":{"value":"The logic MTL\\(\\forall\\) is the predicate version of the monoidal t-norm based logic MTL introduced by \\textit{F. Esteva} and \\textit{L. Godo} [Fuzzy Sets Syst. 124, 271-288 (2001; Zbl 0994.03017)]. The axioms of MTL\\(\\forall\\) are those of the predicate version of the Full Lambek Calculus FL\\(_{\\text{ew}}\\) (i.e. FL plus exchange and weakening) plus \\((A \\rightarrow B) \\vee (B \\rightarrow A)\\) and \\(\\forall x(A \\vee B) \\rightarrow (A \\vee \\forall x B)\\) (\\(x\\) not free in \\(A\\)) in a Hilbert-style axiomatization with modus ponens and generalization. Basically, Kripke structures for MTL are precisely the structures for FL\\(_{\\text{ew}}\\) which are linearly ordered. In the case of MTL\\(\\forall\\), not only the corresponding models are linearly ordered, but the domains are constant, i.e. they do not depend on the node of the model. The first result of the present paper is a proof of completeness of MTL\\(\\forall\\) with respect to this Kripke semantics. Then two applications of the Kripke completeness are considered: the undecidability and the standard completeness of MTL\\(\\forall\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612691$E24E86AB-357A-4B70-8105-C5C9617EA26A","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":"Q1612691$1211B868-E302-4EC6-806B-C3690D637502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$6E77D7EF-E07A-4B69-A19B-7782012E1998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$BD4FAC09-46C2-4BF5-98CA-367175E26939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$01DDB876-2E3C-4096-8A98-D1BAB0D00E87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a21266b4471e431950749fc49cc02a08509e529","datavalue":{"value":"1788483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$7A799F9D-ACD3-4430-B43F-FDE6140838BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612691$0120D2A5-E183-4ECA-B1D5-9BB12E214D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b175c2c0e3d4b96fde1f1ef6b934eca01f8bff0","datavalue":{"value":"logics without contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612691$4223E510-DE30-4947-B41C-8332F13E9150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612691$ADCB1FF5-5705-4271-A1C7-C0787F2EDFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd6f8f8da512ce7a1a0b3d0b0016d5627760f80","datavalue":{"value":"left-continuous t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612691$4E9A3C5E-3FBD-4922-ABCD-E089E364B1D8","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":"Q1612691$525E6D6D-180C-4602-8610-50E6DC6E12D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e92409bb4a7278e3e5a6348709f6a929835d9c9","datavalue":{"value":"https://doi.org/10.1023/a:1016500922708","type":"string"},"datatype":"url"},"type":"statement","id":"Q1612691$7B99235C-5119-4D91-A871-8FA1DF862E8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"339a234501653ee0e1a8d5ae2f8af6c76f00f325","datavalue":{"value":"W1496398693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612691$73A822DB-4FC0-4685-9285-DAD2411664F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e7620038cee71243bb2a66fe1424d941363b1d","datavalue":{"value":{"entity-type":"item","numeric-id":4825702,"id":"Q4825702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8f42d2a7528a5e4017ccba9b049e9b16cbe39b","datavalue":{"value":{"amount":"+0.8088813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$2AB3899C-6498-477D-9E0B-14619A6CC943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f31b637c88ef61093461385c3ae5c6974502b1","datavalue":{"value":{"entity-type":"item","numeric-id":855228,"id":"Q855228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a2d17b27ba009c0cb2b4806a38a2c224927479","datavalue":{"value":{"amount":"+0.7624425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$CB424B36-9F1F-4C38-AEAD-601CF3F9DD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8ac5b975dd922619dd1f3f671f4847801bb309","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87a1d43aacc21c156ff0c206c5fc79e7ada4125","datavalue":{"value":{"amount":"+0.75845265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$63275DE8-8912-43D0-9E56-7B1FF3D31BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841c7f5721903970fb80dddae676dc9e9b069469","datavalue":{"value":{"entity-type":"item","numeric-id":5389290,"id":"Q5389290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd75c9d0bb9c6d0efc0d2dc8dafdffd988ea480","datavalue":{"value":{"amount":"+0.7393848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$40CFE454-4394-4ADB-8A46-798789B48A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617af774f7ababaff8bffbe831a2aeef3415ed0a","datavalue":{"value":{"entity-type":"item","numeric-id":3424131,"id":"Q3424131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f25559eb0cb8546e3138464736ec00407d7d35d","datavalue":{"value":{"amount":"+0.7333395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$258AC1FB-3AE8-463D-926B-80DF1D1DE09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0c67e1bdb58fdc5570b773c02961fd04c6f2d1","datavalue":{"value":{"entity-type":"item","numeric-id":877760,"id":"Q877760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2759cfd326c3ec4597569ed1183e8bae53c3f21","datavalue":{"value":{"amount":"+0.7293484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$EB0A9849-7617-4D74-864F-24D260B59E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73b9aa5164a9c38aa588fcce2ad11c7741c9ff9","datavalue":{"value":{"entity-type":"item","numeric-id":876492,"id":"Q876492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db47c4d37fce9581b1dec4f032403d31b364a48","datavalue":{"value":{"amount":"+0.72891307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$44763F1E-87E5-440E-8CD5-05F4046DAE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235b298bf3c4ce3faa2a5ba9c63ead0f7e5dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef3a37c30a80e031b62b1282227fdc5b1e9b144","datavalue":{"value":{"amount":"+0.72277164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$4B566871-64C9-4524-A37C-1EF2A3F2A563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edee35e4af9d5022f54dcdf83639a2da0f37292c","datavalue":{"value":{"entity-type":"item","numeric-id":622083,"id":"Q622083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80a6d2d10022bb1dcc36587a057f6167f303180","datavalue":{"value":{"amount":"+0.7146939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1612691$9CC09907-10D6-44F1-BFBE-D31FB8CEE340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\\(\\forall\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_semantics,_undecidability_and_standard_completeness_for_Esteva_and_Godo%27s_logic_MTL%5C(%5Cforall%5C)"}}}}}