Ancillary-file links:
Ancillary files (details):
- EXM_qism_12.rel
- EXM_qisr_9.rel
- EXM_rg0u_12.rel
- EXM_rylq_12.rel
- EXM_xrkv_8.rel
- Makefile
- README
- base27.c
- base27.intf
- debug.c
- debug.h
- exampleLps1.txt
- exampleLps2.txt
- examplePropertyTable1.txt
- examplePropertyTable2.txt
- falseAuto5.list
- falseFinite.list
- falseInfinite.list
- justify.c
- lessEqual.rel
- lpEqns.txt
- lpEquivalences.c
- lpEquivalences.intf
- lpImplications.c
- lpImplications.intf
- lpImplicationsTables.c
- lpImplicationsTables.intf
- lpImplicationsWeight.c
- lpImplicationsWeight.intf
- lpNames.c
- lpNames.intf
- lpPrint.c
- lpPrint.intf
- main.c
- main.intf
- nonprominentProperties.h
- optnComposition_GroupsMonoids.txt
- properties.c
- properties.intf
- qmc.c
- qmc.intf
- relEnum.c
- relEnum.intf
- relEnumTables.c
- relEnumTables.intf
- relation.c
- relation.intf
- resolveImplCode.sh
- resolveImplCodeLong.txt
- stringlib.c
- stringlib.h
- trueAxioms.list
- typeAbbrevs.h
- validateAxioms.sh
Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: An Algebra of Properties of Binary Relations
(Submitted on 10 Feb 2021)
Abstract: We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by a boolean combination of xRy and yRx. Operations can be composed, and connected by pointwise-defined logical junctors. We consider the usual properties of relations, and allow them to be lifted by prepending an operation.
We investigate extensional equality between lifted properties (e.g. a relation is connex iff its complement is asymmetric), and give a table to decide this equality. Supported by a counter-example generator and a resolution theorem prover, we investigate all 3-atom implications between lifted properties, and give a sound and complete axiom set for them (containing e.g. "if R's complement is left Euclidean and R is right serial, then R's symmetric kernel is left serial").
Submission history
From: Jochen Burghardt [view email][v1] Wed, 10 Feb 2021 18:21:39 GMT (290kb,AD)
Link back to: arXiv, form interface, contact.