{"entities":{"Q2810125":{"pageid":2820863,"ns":120,"title":"Item:Q2810125","lastrevid":42157575,"modified":"2025-05-26T16:57:24Z","type":"item","id":"Q2810125","labels":{"en":{"language":"en","value":"Simple logics for basic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587814"}},"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":"Q2810125$35FD0817-8F2E-4E81-9A1C-16FA69E83EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72c2929c7ec0f589fedda5dedffd4428433fea49","datavalue":{"value":"1373.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$1994BF67-B574-4710-B00E-5DCD0227F1CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51628dbce54199bc4b51e0fb1185073c1c1bd672","datavalue":{"value":"10.18778/0138-0680.44.3.4.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$73E1B96A-B014-4549-BBEE-DFD3E9BAB98F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7194ed2eed87fe711a1b298dffeeda4abd2dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810125$41544CFA-6E4D-4CE4-B392-618A8A799234","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810125$2BBA1996-C128-456C-825A-508008F37B8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a49183d98fdb45af485077728faee3522a457e","datavalue":{"value":{"time":"+2016-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810125$592F99E1-78DE-406D-A9F2-2AFB77C85602","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c0e030cb7cd4d02a0981ae1792bc8dc0289139d","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/44_34_1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810125$73862016-C156-4E99-A43C-C5F34E22DFBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$E3AFC5A6-DFD3-4EE2-B5DA-D194829A5D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$A420A26D-A4B2-403B-81D1-9A6F6342A246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$27C21F13-5CF7-4F78-AEF3-430DD844F57F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba10785f69f5d5aeb90d9d88aaaa222879589f1a","datavalue":{"value":"6587814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$ADA7D25C-DAEF-4C7D-80C1-F37658F2DF3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$CCC81C47-AA64-4A85-8D1E-89053F88B229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$E62C7BE5-C48E-4A46-A2B8-BDBF374626C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$72315EDE-7135-480F-A3A9-6141DC0F6B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f574f68067c3d2fdf79f159b5aefd743cd886d4e","datavalue":{"value":"non-associative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$5BE9467C-5992-4D85-B9D5-C957C5045566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88802838b8d9ddc57f0336cf56d00bf4769cd8ca","datavalue":{"value":"weak BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$346B5109-CA19-4B83-A397-E12B587FEEBD","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":"Q2810125$1CA62256-1A82-41D0-828B-9F05D318CB08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2958063d81c0ef399dbc6339d6bfc22ffabf9be9","datavalue":{"value":"W2342731022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810125$AB6B7635-87E8-4BDB-94B3-5BEF7D8406D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180fe982a9f9ef5766325249eec5b0aac376cfff","datavalue":{"value":{"entity-type":"item","numeric-id":2986058,"id":"Q2986058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefc152374231678b619e3229efb4a48e7907157","datavalue":{"value":{"amount":"+0.8462307","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":"Q2810125$E61CF62D-59AA-4E8F-AA6F-C6B22F3C9C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989ba514ded2f395212911db782cf67886412bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5899524,"id":"Q5899524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9953058297d93e70e595868030fb8a8e83e6768","datavalue":{"value":{"amount":"+0.83243185","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":"Q2810125$3B4244F0-7E18-418A-A6C3-F159FE64280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224a773b855c7760f0825ea1a78dc1592f48a987","datavalue":{"value":{"entity-type":"item","numeric-id":5916048,"id":"Q5916048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c41e6d2fdeeb1837c08017ee847ac1e1ff51104","datavalue":{"value":{"amount":"+0.8230345","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":"Q2810125$3D339577-A863-4521-AF89-B4AB01D8A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606552f92d1ea03671d7533f8299f51f89bcf809","datavalue":{"value":{"entity-type":"item","numeric-id":2837208,"id":"Q2837208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70f13f9911a343d1323e605a755f75f750e378f","datavalue":{"value":{"amount":"+0.8141056","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":"Q2810125$87241125-B87D-40A6-84FC-694FD857DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e42366e4dc2f43e4bf6ee33a7d904765b807c76","datavalue":{"value":{"entity-type":"item","numeric-id":3100246,"id":"Q3100246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76862cfe2e0d29a27147ce07108ebb005ea23e0","datavalue":{"value":{"amount":"+0.8130652","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":"Q2810125$0B2B0C60-7477-4BB9-8BEA-57ADBE7627B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732ae7fae4d86031e406f6214651a4f2d5cf06d6","datavalue":{"value":{"entity-type":"item","numeric-id":2519410,"id":"Q2519410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027f0f6599fd5ae395803a6de53cce03c66187e","datavalue":{"value":{"amount":"+0.8014309","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":"Q2810125$6EF00CC0-8F54-4C76-8A63-B7484E2AB94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a704b16a74334a57fe3abf08758b96448a1ef67a","datavalue":{"value":{"entity-type":"item","numeric-id":2426166,"id":"Q2426166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad1ba5a6ef59ece0944577eea40e5da5151a8cb","datavalue":{"value":{"amount":"+0.7786438","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":"Q2810125$09677B2F-141D-4F42-9B97-C3498BBAF1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9f93085c20e47eeef43fd2f8cf75cc72508d95","datavalue":{"value":{"entity-type":"item","numeric-id":904478,"id":"Q904478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7586b83874beffbbbfed8fd858bffa1ee7441ce6","datavalue":{"value":{"amount":"+0.7768214","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":"Q2810125$DBBB03B9-6DCC-4811-849A-7793E7EC91ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce076ed74d2205133244af6ea640ab42197494","datavalue":{"value":{"entity-type":"item","numeric-id":535119,"id":"Q535119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f118c7b1b081620639631683fba5bbda35c34ff","datavalue":{"value":{"amount":"+0.7644825","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":"Q2810125$02400D41-09BD-41B2-AA53-634F055D1A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba368f72d3b2aaf68dd46dc1f56c9ee769dc3cd","datavalue":{"value":{"entity-type":"item","numeric-id":1797789,"id":"Q1797789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ee7afe21c95ed49b7a734818ffe70a20064c78","datavalue":{"value":{"amount":"+0.7601329","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":"Q2810125$F4B03840-2912-47FA-AFFC-83140570B04A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b4dde0302a4c95cd8ccdc735b7e878bfd3b9528","datavalue":{"value":{"text":"Simple logics for basic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810125$9DC0557F-C1D9-4E6F-A31E-1D806369B660","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65dce212efdf0bdacab836d82a8c2e623ad638b3","datavalue":{"value":"MV-algebras are very well established algebras which were introduced by Chang almost 60 years ago and nowadays its structure, which has a connection to many-valued logic, is studied very detailed. During the years, many generalizations of MV-algebras are introduced, e.g. pseudo MV-algebras (= non-commutative MV-algebras), BL-algebras, hoops, etc. Basic logic was introduced in the last decade by the school in Olomouc, Czech republic, headed by Chajda. It is a common generalization of MV-algebras and orthomodular lattices. A basic algebra is an MV-algebra iff the operation \\(\\oplus\\) is associative. One of its important subvarieties is the variety of commutative basic algebras.NEWLINENEWLINEBasic algebras and commutative basic algebras provide an equivalent algebraic semantics in the sense of \\textit{W. J. Blok} and \\textit{D. Pigozzi} [Mem. Am. Math. Soc. 396, 78 p. (1989; Zbl 0664.03042)] for two recent logical systems. Both are Hilbert-style systems, with implication and negation as primitive connectives. The aim of the paper under review is the study a simpler logic where implication and falsum are taken as primitives. In addition, some known subvarieties of basic algebras are studied, too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810125$EB604150-2FBD-44FD-9636-33D9541A3B58","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810125$1FFB389D-EA7F-485D-B267-0DAC1AB59F06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810125"}}}}}