{"entities":{"Q1317894":{"pageid":1328644,"ns":120,"title":"Item:Q1317894","lastrevid":68757804,"modified":"2026-04-13T01:51:35Z","type":"item","id":"Q1317894","labels":{"en":{"language":"en","value":"Wajsberg algebras and Post algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536888"}},"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":"Q1317894$B2E38072-B38C-4DFB-9D7C-D6DF4C703AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a73e24ac3b944695cf519abc39d1c0618fbd973","datavalue":{"value":{"text":"Wajsberg algebras and Post algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317894$054A1DE1-7B51-40E3-A922-D20943D2288A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043e6089029c9c72aba41aaabf561de1637d2f85","datavalue":{"value":"0808.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$A7CA0AB8-244C-4E00-AC5C-2A56A9791BFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b990106f5fe255168391db8515b47402b2a08bf5","datavalue":{"value":"10.1007/BF01053019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$0265ACD0-DB90-4776-B902-A15E6B1DD0D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ba5eb2bb27ef9755290635e858013644b445bc","datavalue":{"value":{"entity-type":"item","numeric-id":1317893,"id":"Q1317893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$DEF79E34-61C4-4C53-BF64-9E9F3D1F40BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$C50EAF58-54BF-4204-8EE7-A285137D8492","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":"Q1317894$4839E4B4-13FF-476A-B1D5-D7FD21E6AC0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79ad183130949ee53e76dcf8f33afd5ecac19dc2","datavalue":{"value":{"time":"+1995-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317894$E8ADFBBB-1E77-4993-8A5F-D9445333D338","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73f00e05c0c2accab7347379981f7ff8a631f579","datavalue":{"value":"An algebra \\(A= \\langle A,\\to,\\neg\\rangle\\) is said to be a Wajsberg algebra if it satisfies the following equations:  \\[ \\begin{aligned} (a\\to b)\\to b&= b \\\\ (a\\to b)\\to((b\\to c)\\to (a\\to c))&= a\\to a \\\\ (a\\to b)\\to b&= (b\\to a)\\to a \\\\ (\\neg a\\to \\neg b)\\to (b\\to a)&= a\\to a \\end{aligned} \\]  Any finite subdirectly irreducible Wajsberg algebra is quasiprimal and semiprimal, but not each of them is primal. The author gives equational conditions under which the appropriate variety of Wajsberg algebras with additional constants is generated by a primal algebra. The same algebras (and only these algebras) without additional constants admit a lattice reduct which is a P-algebra (P-algebras are a generalization of Post algebras introduced by G. Epstein and A. Horn).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$5DB2B82C-6993-4582-B88E-5ED8052EB9D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$4FD67DB5-D6DD-44D4-B8C6-C9DD681836E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$A5CD29FD-5D40-4693-B576-B185B027A5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$526E03EF-C2C8-4B19-A0D0-D945419D41EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$9C382901-ED2B-440F-B89E-E111D4111864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed6451c9ae7033910e5b87daaec14ad7e3052786","datavalue":{"value":"536888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317894$C49F6D15-E285-4038-AD57-8D65BBAF24E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$00101AF3-2E65-4D4B-A230-A86006876707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$8F45778A-DB66-4BBF-81F9-06A6B8CEA35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b43ae0f190acb8d132b00fab08bb35283981fe","datavalue":{"value":"chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$2C6A521F-B33C-407F-8BC6-A23B79F6D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d433edb3abf36f6fb5c1f66eb12981b2c12b4a","datavalue":{"value":"Wajsberg algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$E343FEF5-EB49-452B-903D-E30E1D1C62CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$F14F8683-AF2C-4DBE-98EE-4671352AB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9847f087307eb878d21bad70eb41d8c9f3279d","datavalue":{"value":"primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$52E34FBE-DEC2-4C66-A28D-8015609081EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea688ed8dfab16e8520ce0d4c1cb708708745ad7","datavalue":{"value":"P-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317894$A54E16F7-4751-4EDC-BFD3-DBB7DF48851F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a71dc8d5d63bc79a22e8a3eb2b08857c8e89a3","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$6DA1738E-7A3E-4033-97F4-11A440902796","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":"Q1317894$905D6E0C-37F1-4D84-9D67-49147D4A90B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$DFDD3969-3092-4E77-B4BC-E9B3D2FDDB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$CD484E18-88C6-4BF3-8929-44C53340E917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$BF277F84-42A2-4A51-85E4-061B525DE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$38FCCA1C-9490-468E-832D-43BAB8F102D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37787b2ea0e21fb2cc3abfbbcdf2132e98499ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1838472,"id":"Q1838472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$AB6F7C35-E93C-4267-9EEA-3917132A25F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6549209c1f5a042b4c125adeecd08f9705a6efe","datavalue":{"value":{"entity-type":"item","numeric-id":3880895,"id":"Q3880895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$2B4FF4F0-213B-46FD-8A95-64AC952C2608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd8e87cb96460f2b05e62b8c9a76afa863b982f","datavalue":{"value":{"entity-type":"item","numeric-id":1212485,"id":"Q1212485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$684D3C68-6076-464E-A7D4-91A37FFE7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d037473ac64fb3b587cff76b7f68eeb417fc42","datavalue":{"value":{"entity-type":"item","numeric-id":5607967,"id":"Q5607967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$15D5ADCB-9B78-43DD-BF3D-1B269D8006D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$8F24BB90-FC60-4EC8-BEB8-0BDBD7118E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815eb2ee300f1f7920e9a5654fcb96a47b99269d","datavalue":{"value":{"entity-type":"item","numeric-id":4137140,"id":"Q4137140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$F8A3F714-0DCB-4B66-8D0B-2AF2533B6522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$84601F1F-4190-47E5-BC46-BC9B300CBCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6e4bda4b88271de3c04701db3d144c74b53620","datavalue":{"value":{"entity-type":"item","numeric-id":3893929,"id":"Q3893929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$FE52B2DA-CFB1-45EC-ADE0-CBEBB56D8627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$5D857C98-7214-490E-9627-1B81F6EE0B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116855ea536823a1e17c43ae8eba2051a5a43c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1090332,"id":"Q1090332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$45B9CC50-0ED3-42F8-9159-3EC196450927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbf18a8931ef19165696a495d9de2fdd6f362b1","datavalue":{"value":{"entity-type":"item","numeric-id":3987715,"id":"Q3987715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$6EA1FDFB-D5BE-486B-A08B-23D8D599B03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d1a8eb2de3a993c6376952646c796278e87ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3855183,"id":"Q3855183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$817203E8-E74C-48B4-80E0-1D1966FC4724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b3281016d1061fc68ba0c4bff2e92457dec717","datavalue":{"value":{"entity-type":"item","numeric-id":4128567,"id":"Q4128567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317894$FBC9AE3A-B2A7-4536-BBCA-F2809F297275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002b5e06cee8147f92116d02195732fc080c9f25","datavalue":{"value":{"entity-type":"item","numeric-id":4032847,"id":"Q4032847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05fc7f075c23a8f1e3d09d5ff020be24d3852d7","datavalue":{"value":{"amount":"+0.8320426344871521","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":"Q1317894$50586778-2405-4DD3-9511-F5463344A589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d7f7306e95b07e5ffa3461940f2b363cddfeb4","datavalue":{"value":{"entity-type":"item","numeric-id":3222191,"id":"Q3222191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de9d4aa9e726ae713e8670aea662bcfc633948","datavalue":{"value":{"amount":"+0.8066113591194153","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":"Q1317894$255E69AE-1E40-4712-9E94-B03A204545F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4075eb35dd25ea3633d2bb98ce79f9b417ce475e","datavalue":{"value":{"entity-type":"item","numeric-id":753812,"id":"Q753812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad6a02f29a3ae80bff05eb8d4b8a4aecabdcc21","datavalue":{"value":{"amount":"+0.8011327385902405","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":"Q1317894$297C6E2B-28AC-47A2-9346-1382FA666A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ea36edbfa6c9939354504a2896095f4ffb1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4963158,"id":"Q4963158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30121d72bc0389fd376fddd358f87f7fbfc20970","datavalue":{"value":{"amount":"+0.7857818007469177","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":"Q1317894$9D961F50-8735-466F-9AA2-4BC32FD9F5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35489f019a9a7c8910284fe48d0d5d0dc4959bd","datavalue":{"value":{"entity-type":"item","numeric-id":4660201,"id":"Q4660201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daffaa84090f63adfe6d2adecca72f8390d2c7c","datavalue":{"value":{"amount":"+0.7850961685180664","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":"Q1317894$AA4BEB44-FB0D-4231-8BBD-6EDE427277D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wajsberg algebras and Post algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wajsberg_algebras_and_Post_algebras"}}}}}