{"entities":{"Q1928489":{"pageid":1939231,"ns":120,"title":"Item:Q1928489","lastrevid":43428266,"modified":"2025-07-25T18:12:10Z","type":"item","id":"Q1928489","labels":{"en":{"language":"en","value":"An axiomatisation of a pure calculus of names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121545"}},"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":"Q1928489$4D7CFC4C-90A3-4E81-9D37-4CEF50A50690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"845f60693588a4b33db9178d0224f7f70b9e2fe4","datavalue":{"value":{"text":"An axiomatisation of a pure calculus of names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928489$37AF0055-704E-472E-A8EA-4D0B349DD6B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f7c87c17317efa50e4e825c1790d5c563c4112","datavalue":{"value":"1273.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$EE6888EC-C263-4D7B-8D19-54A889FB0515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca3c81ad39c4db2df12e0c3ee6332ce3d6911c8","datavalue":{"value":{"entity-type":"item","numeric-id":513928,"id":"Q513928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$1A4A8CA5-A34B-4F40-8229-B58A9D22DA54","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":"Q1928489$93AEFA21-7EFF-4425-B5C7-154982509904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54c3aea5017a2b930b738e94f94c92304e5e4ff2","datavalue":{"value":{"time":"+2013-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928489$2C05D686-2DF5-4F9B-8155-01B489052CB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59c6c529d3f723f6d86d9fefdc3c470baf44828e","datavalue":{"value":"In this paper, by a pure calculus of names (PCN) is meant a quantifier-free fragment of Le\u015bniewski's Ontology based on the classical propositional calculus. In contrast to [\\textit{A. Ishimoto}, Stud. Log. 36(1977), 285--299 (1978; Zbl 0391.03004); \\textit{M. Kobayashi} and \\textit{A. Ishimoto}, Stud. Log. 41, 181--195 (1982; Zbl 0597.03015)], the author has chosen three primitive \\(nn/s\\) type functors: Le\u015bniewski's \\(\\varepsilon\\) and functors \\(a\\) and \\(i\\) of Aristotle's syllogistic (\\(a\\) with the so-called strong interpretation; vacuous names are admitted). An axiomatisation of, and a decision procedure for, PCN are presented; the axioms are shown to be independent. The main discussion concerns adequacy of PCN (only weak completeness is dealt with). PCN is enriched to an axiomatic rejection system; it is then proved that every formula in the language of PCN is either a thesis or a rejected one, and no formula is both proved and rejected. This allows to conclude that any extension of PCN must contain undesirable theses, and to prove that PCN is (sound and) complete with respect to a certain natural class of set-theoretical models. The latter result leads to the following conservativeness theorem: Every thesis of the so-called basic Ontology formulated in the language of PCN is a thesis of PCN. Here, basic Ontology is a first-order theory whose language is that of PCN enriched by quantifiers; its axioms are Le\u015bniewski's \\(\\varepsilon\\)-axiom and definitions for \\(a\\) and \\(i\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928489$587D508E-69BD-4D90-AA3D-996652BF9FED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$55C3A122-5469-48DC-A571-2BA3D92E58D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$10631F60-8F2E-430D-BF8E-8777AD6009E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$5A4A19CF-69BA-454F-8CDB-6762E8512CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61a42e9d1ec395d26e53c8ca96861bd6bb00cc2a","datavalue":{"value":"6121545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$2C24D72F-0B2E-44B2-8B64-3EAEB04B6BAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b0a9613dba508201a5767f5a270398c8f4412b","datavalue":{"value":"axiomatic rejection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928489$87F67134-8E61-4C09-8302-EA5DAF634ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab6bf9fc64684bb50f18f4bf6b7c7cbe45cbc81","datavalue":{"value":"calculus of names","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928489$95793B56-E462-4D78-A178-540A6049ED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928489$BE735AF7-723B-4C40-822B-B47470D2E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80360c42fa6f42b2b66244917b211982510f0778","datavalue":{"value":"Le\u015bniewski Ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928489$A7C4B90E-A3E2-4DA2-A574-46638CEC5636","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":"Q1928489$FF704C9B-ADCB-4A25-96AA-4380CFC260C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fa56b6254bd2ffe1e690ac68cbb950683e59919","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9441-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928489$EEDF5B98-4B52-4D06-B167-A831710A6CE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac2d2c75383a64a053a83fc08eaac5d16734b3d0","datavalue":{"value":"W2056487487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$155CBA8B-706F-48C0-9E78-FA6F6D131162","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b7c34295641c1aefec08245147f47e523d1956","datavalue":{"value":{"entity-type":"item","numeric-id":1251221,"id":"Q1251221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$0FD1590C-0659-4DDC-BE14-7B7CCEB58D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fe8fab55e2d180c08c7cf49b161f51591ce68c","datavalue":{"value":{"entity-type":"item","numeric-id":4793395,"id":"Q4793395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$6CDF4DFC-4B1E-403D-A860-92019248686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$27505F27-3821-4D5E-8D1B-28F8B29B1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$6B106F5E-3F95-4792-8D00-FF79D45C4C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01acdd6543451ec66cffe23800bdc2fa23e86f78","datavalue":{"value":{"entity-type":"item","numeric-id":4888338,"id":"Q4888338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$489590F8-1103-41B9-AAAA-778CF8460407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228591941fe2e6f0f2e00c42b7f5dff22c739d84","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$672661D0-9913-4116-8B86-0B166A75B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$A9512740-1237-44CA-B640-D893B3B7818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6de4b8816c128fa92a2afca56af72a4c74c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":5296761,"id":"Q5296761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$35DDE593-4645-48B8-A961-D267CEBDAB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10d76d0554c7bfb42fc0a92a54bdcc28f7f363","datavalue":{"value":{"entity-type":"item","numeric-id":3466591,"id":"Q3466591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$52A8A9C0-25BA-4DCD-9DA5-4EC490C4CA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf7f211d46e646a51445b374d13613277690f98","datavalue":{"value":{"entity-type":"item","numeric-id":3527324,"id":"Q3527324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928489$A8F2D193-7417-462A-BFC3-97BF0ACC7E72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26b0256f5b536315e4ca329edfefcc29816a620","datavalue":{"value":"10.1007/S11225-012-9441-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928489$DAFC358A-8F57-47A5-B748-E286427295B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de458ace51c416125e49c43d16f2a01f52d5c94e","datavalue":{"value":{"entity-type":"item","numeric-id":4982331,"id":"Q4982331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4d70454e4bec9e68c88588fa7c3d338c3c25e0","datavalue":{"value":{"amount":"+0.91031146","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":"Q1928489$19C22915-6745-447B-908F-01DE5EF1116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9a527e4d0781c8418f3c5cec2978483929e335","datavalue":{"value":{"entity-type":"item","numeric-id":4888338,"id":"Q4888338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe9da1fd4cc35b074aa40ed1fd584a3c5f780b1","datavalue":{"value":{"amount":"+0.80995935","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":"Q1928489$FCB19CF6-B3DA-4355-9550-741EE279E433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f06c5cdcb5e2933ca394d108920f63ca3865a5","datavalue":{"value":{"entity-type":"item","numeric-id":2104542,"id":"Q2104542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e6edec3721f80c069bd4012dbccc831fc8a1ed","datavalue":{"value":{"amount":"+0.80845475","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":"Q1928489$B2577C91-23A1-43A2-BA0C-A70A3EB151A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4ba774217a055da3183b64d18628f6abb810f8","datavalue":{"value":{"entity-type":"item","numeric-id":1756600,"id":"Q1756600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6305b1ff85a7ceb650cb60c0718e76c7f23d3b1","datavalue":{"value":{"amount":"+0.7845466","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":"Q1928489$FD96EE82-E1E0-4865-A87E-A6D6121CA353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3ab3e475b5a15da18b3313bbcceef5ebe26cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a88b5b42075484764afe629e888c342fa2f4b55","datavalue":{"value":{"amount":"+0.764056","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":"Q1928489$A847EB74-E29A-41CE-8E5E-04454DD60ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39575007ad172818e19b037f89a4cf5290855292","datavalue":{"value":{"entity-type":"item","numeric-id":3434490,"id":"Q3434490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174d34d9ca51cbbde24c565f45cf9a37ea6f5ab4","datavalue":{"value":{"amount":"+0.75619686","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":"Q1928489$C660E8C9-BD1F-48AD-B69F-35401E8DE7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbed96949b2a4032daca53370614e9051ed39ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3377757,"id":"Q3377757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41a69add71d12c37575195835adb54ab767d26b","datavalue":{"value":{"amount":"+0.7415746","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":"Q1928489$4251E866-5954-46CF-99E9-6D35BA88AFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf6be79bc53d14aca5fff24eb0ff5fd66da5ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3367511,"id":"Q3367511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d404c855991ec8e324a63f62c97eb731bb239f24","datavalue":{"value":{"amount":"+0.74124223","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":"Q1928489$7ACB5586-4E38-431F-9CAC-0C20128D3640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fbc51a652d97f1a1935e521046632951123e449","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926171a7482d213c028b6b4943d79791d1f21df4","datavalue":{"value":{"amount":"+0.7405823","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":"Q1928489$50A9E471-834C-4C82-8918-DC301719A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46c752c4b4b084e4fa5e5621d09c4fcd5a936d0","datavalue":{"value":{"entity-type":"item","numeric-id":5116392,"id":"Q5116392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fb2726434f19d7c3e82285519ae8470fc565bb","datavalue":{"value":{"amount":"+0.7290492","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":"Q1928489$164808FD-942D-4DC1-A2D7-30710833B367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928489"}}}}}