Cargando…
The Formalization of Asymmetry in Disjunctive Evaluation
The main property of disjunction is substitutability, i.e., the fully satisfied predicate substitutes the rejected one. But, in many real–world cases disjunction is expressed as the fusion of full and optional alternatives, which is expressed as OR ELSE connective. Generally, this logical connective...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7274756/ http://dx.doi.org/10.1007/978-3-030-50143-3_34 |