Pages that link to "Item:Q689202"
From MaRDI portal
The following pages link to Single axioms for the left group and right group calculi (Q689202):
Displaying 9 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Automated discovery of new axiomatizations of the left group and right group calculi (Q688546) (← links)
- The two-property and condensed detachment (Q799664) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- Fiala-Agre list of single axioms for Boolean groups is wrong (Q5250572) (← links)