Abstract logical constants
| Autor: | Tin Perkov |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
General method
logical constants abstract logic logical consequence Relation (database) Logic Applied Mathematics 010102 general mathematics 06 humanities and the arts 0603 philosophy ethics and religion 01 natural sciences Logical consequence Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer Science::Logic in Computer Science 060302 philosophy Dual polyhedron 0101 mathematics Abstract logic Mathematics Hardware_LOGICDESIGN |
| Popis: | A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|