|
|||||
|
|
Flexary connectives in Mizar |
|
| Affiliation: | 1. Department of Earth, Environment and Life Sciences, University of Genova, Corso Europa, 26, 16132 Genova, Italy;2. Department of Science and Technology, University of Sannio, 82100 Benevento, Italy;3. Met European Research Observatory, 82100 Benevento, Italy |
| Abstract: | |
| Keywords: | Proof assistant Ellipsis Flexary conjunction Flexary disjunction |
| 本文献已被 ScienceDirect 等数据库收录！ | |