-------------------------------------------------------------------------------
Axioms 122 sets (77 abstract, 102 CNF, 20 FOF)
-------------------------------------------------------------------------------
AGT001 ( -0 +3) CPlanT system
ALG001 ( -1 +0) Abstract algebra axioms, based on Godel set theory
ANA001 ( -1 +0) Analysis (limits) axioms for continuous functions
ANA002 ( -1 +0) Analysis (limits) axioms for continuous functions
BOO001 ( -1 +0) Ternary Boolean algebra (equality) axioms
BOO002 ( -1 +0) Boolean algebra axioms
BOO003 ( -1 +0) Boolean algebra (equality) axioms
BOO004 ( -1 +0) Boolean algebra (equality) axioms
CAT001 ( -1 +0) Category theory axioms
CAT002 ( -1 +0) Category theory (equality) axioms
CAT003 ( -1 +0) Category theory axioms
CAT004 ( -1 +0) Category theory axioms
COL001 ( -1 +0) Type-respecting combinators
FLD001 ( -1 +0) Ordered field axioms (axiom formulation glxx)
FLD002 ( -1 +0) Ordered field axioms (axiom formulation re)
GEO001 ( -2 +0) Tarski geometry axioms
GEO002 ( -4 +0) Tarski geometry axioms
GEO003 ( -1 +0) Hilbert geometry axioms
GEO004 ( -4 +4) Simple curve axioms
GEO005 ( -1 +0) Hilbert geometry axioms, adapted to respect multi-sortedness
GRP001 ( -1 +0) Monoid axioms
GRP002 ( -1 +0) Semigroup axioms
GRP003 ( -3 +1) Group theory axioms
GRP004 ( -3 +1) Group theory (equality) axioms
GRP005 ( -1 +0) Group theory axioms
GRP006 ( -1 +0) Group theory (Named groups) axioms
GRP007 ( -0 +1) Group theory (Named Semigroups) axioms
GRP008 ( -2 +0) Semigroups axioms
HAL001 ( -0 +1) Standard homological algebra axioms
HEN001 ( -1 +0) Henkin model axioms
HEN002 ( -1 +0) Henkin model axioms
HEN003 ( -1 +0) Henkin model (equality) axioms
HWC001 ( -1 +0) Definitions of AND, OR and NOT
HWC002 ( -1 +0) Definitions of AND, OR and NOT
HWV001 ( -3 +0) Connections, faults, and gates.
HWV002 ( -3 +0) Connections, faults, and gates.
HWV003 ( -1 +0) Axioms from a VHDL design description
HWV004 ( -1 +0) Axioms from a VHDL design description
LAT001 ( -4 +0) Lattice theory (equality) axioms
LAT002 ( -1 +0) Lattice theory axioms
LAT003 ( -1 +0) Ortholattice theory (equality) axioms
LAT004 ( -1 +0) Quasilattice theory (equality) axioms
LAT005 ( -1 +0) Weakly Associative Lattices theory (equality) axioms
LCL001 ( -3 +0) Wajsberg algebra axioms
LCL002 ( -2 +0) Alternative Wajsberg algebra axioms
LCL003 ( -1 +0) Propositional logic deduction axioms
LCL004 ( -3 +0) Propositional logic deduction axioms
LDA001 ( -1 +0) Embedding algebra axioms
MGT001 ( -1 +1) Inequalities.
NUM001 ( -3 +0) Number theory axioms
NUM002 ( -1 +0) Number theory (equality) axioms
NUM003 ( -1 +0) Number theory axioms, based on Godel set theory
NUM004 ( -1 +0) Number theory (ordinals) axioms, based on NBG set theory
NUM005 ( -0 +2) Less in RDN format
PLA001 ( -2 +0) Blocks world axioms
PLA002 ( -0 +1) Blocks world axioms
PUZ001 ( -1 +0) Mars and Venus axioms
PUZ002 ( -1 +0) Truthtellers and Liars axioms for two types of people
PUZ003 ( -1 +0) Truthtellers and Liars axioms for three types of people
PUZ004 ( -1 +0) Quo vadis axioms
RNG001 ( -1 +0) Ring theory axioms
RNG002 ( -1 +0) Ring theory (equality) axioms
RNG003 ( -1 +0) Alternative ring theory (equality) axioms
RNG004 ( -1 +0) Alternative ring theory (equality) axioms
RNG005 ( -1 +0) Ring theory (equality) axioms
ROB001 ( -2 +0) Robbins algebra axioms
SET001 ( -4 +0) Set theory membership and subsets axioms
SET002 ( -1 +0) Set theory axioms
SET003 ( -1 +0) Set theory axioms based on Godel set theory
SET004 ( -2 +0) Set theory axioms based on NBG set theory
SET005 ( -0 +1) Set theory axioms based on NBG set theory
SET006 ( -0 +3) Naive set theory axioms based on Goedel's set theory
SWC001 ( -1 +1) List specification
SWV001 ( -1 +0) Program verification axioms
SWV002 ( -1 +0) Program verification axioms
SYN001 ( -1 +0) Synthetic domain theory for EBL
TOP001 ( -1 +0) Point-set topology axioms
