522:
22:
263:
204:
144:
325:
294:
43:
108:
563:
454:
420:
67:
359:
211:
152:
438:
433:
344:
556:
587:
582:
382:
592:
377:
111:
549:
416:
117:
88:
428:
494:
464:
450:
399:
355:
336:
301:
270:
484:
476:
391:
506:
411:
502:
407:
351:
85:
533:
93:
36:
30:
576:
363:
521:
489:
498:
403:
529:
480:
395:
469:
Polska
Akademia Nauk. Institut Filozofii i Socijologii. Studia Logica
467:(1979), "Distributive lattices with a dual homomorphic operation",
15:
378:"Distributive lattices with an additional unary operation"
537:
48:
258:{\displaystyle \sim (x\vee y)={}\sim x\wedge {}\sim y}
199:{\displaystyle \sim (x\wedge y)={}\sim x\vee {}\sim y}
304:
273:
214:
155:
120:
96:
319:
288:
257:
198:
138:
102:
557:
8:
445:Blyth, Thomas Scott; Varlet, J. C. (1994).
564:
550:
488:
303:
272:
247:
236:
213:
188:
177:
154:
119:
95:
68:Learn how and when to remove this message
340:
332:
7:
518:
516:
350:Examples of Ockham algebras include
139:{\displaystyle \sim \colon L\to L}
14:
520:
20:
230:
218:
171:
159:
130:
1:
427:Blyth, Thomas Scott (2001) ,
536:. You can help Knowledge by
449:. Oxford University Press.
434:Encyclopedia of Mathematics
609:
515:
343:. Ockham algebras form a
383:Aequationes Mathematicae
331:They were introduced by
320:{\displaystyle \sim 1=0}
289:{\displaystyle \sim 0=1}
114:, that is, an operation
335:, and were named after
532:-related article is a
321:
290:
259:
200:
140:
104:
29:This article includes
376:Berman, Joel (1977),
322:
291:
260:
201:
141:
105:
302:
271:
212:
153:
118:
94:
89:distributive lattice
80:In mathematics, an
490:10338.dmlcz/102014
481:10.1007/BF00370442
465:Urquhart, Alasdair
396:10.1007/BF01837887
356:De Morgan algebras
317:
286:
255:
196:
136:
100:
37:properly formatted
545:
544:
456:978-0-19-859938-8
337:William of Ockham
112:dual endomorphism
103:{\displaystyle L}
78:
77:
70:
600:
566:
559:
552:
524:
517:
509:
492:
460:
441:
429:"Ockham algebra"
414:
352:Boolean algebras
326:
324:
323:
318:
295:
293:
292:
287:
264:
262:
261:
256:
248:
237:
205:
203:
202:
197:
189:
178:
145:
143:
142:
137:
109:
107:
106:
101:
73:
66:
62:
59:
53:
51:
46:this article by
31:inline citations
24:
23:
16:
608:
607:
603:
602:
601:
599:
598:
597:
588:Ockham algebras
583:Algebraic logic
573:
572:
571:
570:
513:
463:
457:
447:Ockham algebras
444:
426:
375:
372:
360:Kleene algebras
341:Urquhart (1979)
300:
299:
269:
268:
210:
209:
151:
150:
116:
115:
92:
91:
74:
63:
57:
54:
49:correcting them
47:
41:
25:
21:
12:
11:
5:
606:
604:
596:
595:
590:
585:
575:
574:
569:
568:
561:
554:
546:
543:
542:
525:
511:
510:
475:(2): 201–209,
461:
455:
442:
424:
390:(1): 165–171,
371:
368:
364:Stone algebras
329:
328:
316:
313:
310:
307:
297:
285:
282:
279:
276:
266:
254:
251:
246:
243:
240:
235:
232:
229:
226:
223:
220:
217:
207:
195:
192:
187:
184:
181:
176:
173:
170:
167:
164:
161:
158:
135:
132:
129:
126:
123:
99:
82:Ockham algebra
76:
75:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
605:
594:
593:Algebra stubs
591:
589:
586:
584:
581:
580:
578:
567:
562:
560:
555:
553:
548:
547:
541:
539:
535:
531:
526:
523:
519:
514:
508:
504:
500:
496:
491:
486:
482:
478:
474:
470:
466:
462:
458:
452:
448:
443:
440:
436:
435:
430:
425:
422:
418:
413:
409:
405:
401:
397:
393:
389:
385:
384:
379:
374:
373:
369:
367:
365:
361:
357:
353:
348:
346:
342:
338:
334:
333:Berman (1977)
314:
311:
308:
305:
298:
283:
280:
277:
274:
267:
252:
249:
244:
241:
238:
233:
227:
224:
221:
215:
208:
193:
190:
185:
182:
179:
174:
168:
165:
162:
156:
149:
148:
147:
133:
127:
124:
121:
113:
97:
90:
87:
83:
72:
69:
61:
50:
45:
40:
38:
35:they are not
32:
27:
18:
17:
538:expanding it
527:
512:
472:
468:
446:
432:
387:
381:
349:
330:
146:satisfying
81:
79:
64:
55:
34:
577:Categories
370:References
499:0039-3215
439:EMS Press
417:available
404:0001-9054
306:∼
275:∼
250:∼
245:∧
239:∼
225:∨
216:∼
191:∼
186:∨
180:∼
166:∧
157:∼
131:→
125::
122:∼
58:May 2024
530:algebra
507:0544616
412:0480238
345:variety
110:with a
86:bounded
44:improve
42:Please
505:
497:
453:
410:
402:
362:, and
33:, but
528:This
419:from
415:(pdf
84:is a
534:stub
495:ISSN
451:ISBN
400:ISSN
485:hdl
477:doi
421:GDZ
392:doi
339:by
579::
503:MR
501:,
493:,
483:,
473:38
471:,
437:,
431:,
408:MR
406:,
398:,
388:16
386:,
380:,
366:.
358:,
354:,
347:.
565:e
558:t
551:v
540:.
487::
479::
459:.
423:)
394::
327:.
315:0
312:=
309:1
296:,
284:1
281:=
278:0
265:,
253:y
242:x
234:=
231:)
228:y
222:x
219:(
206:,
194:y
183:x
175:=
172:)
169:y
163:x
160:(
134:L
128:L
98:L
71:)
65:(
60:)
56:(
52:.
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.