In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 42, No. 2/3, Proceedings of the Finnish-Polish-Soviet Logic Conference (1983), pp. 197-207 (11 pages) Let EO be the elementary ontology ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果
反馈