|
|||||
|
|
Relations in Monadic Third-Order Logic |
|
| Authors: | Hazen A P |
| Institution: | (1) Department of Philosophy, University of Melbourne, Vic 3052, Parkville, Australia |
| Abstract: | The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |