General Implicativity in Groupoids
There are several equivalent axioms, which can be used to characterize the positive implicativity in <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>C</mi> <mi>K</mi> </mrow> </semantics> <...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2018-10-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/6/11/235 |