Set theory in rst-order logic: clauses for Gdel's axioms - Boyer, Lusk, et al. - 1986Boyer, R., Lusk, E., McCune, W., Overbeek, R., Stickel, M. and Wos, L. (1986) Set theory in first-order logic: Clauses for Godel's axioms. Journal of Automated Reasoning 2, 287-327....
关键词: computational complexity formal logic set theory BIT-structures complexity theory finite set theory first-order logic fixed-point logic least fixed-point logic ordered conjecture 会议名称: Symposium on Logic in Computer Science 会议时间: 1999 ...
As we showed in Chapter VII, one can, at least in principle, overcome this weakness by a set-theoretical formulation: One introduces a system of axioms for set theory in a first-order language, e.g. ZFC, which is sufficient for mathematics, and then, in this system, carries out the ...
8, we prove that first-order logic with one binary predicate variable is not a minimal vehicle for the foundation of classical mathematics in set theory. Sections 9 and 10 introduce further operations and ideals of first-order functions. Besides some results on the influence of the arguments of...
因此,一个语句的真假取决于两个东西:我们的底层集合(underlying set)与我们对映射、常量、关系符号的解释。 一个结构(structure)由一个底层集合与不同的映射、常量、关系的解释组成。结构在一阶逻辑中扮演的角色与指派在命题逻辑中扮演的角色是相似的。给定任意语句φ和任意结构M,我们来定义什么是M模φ(Mmodelsφ)...
08.First order logic
Wos. Set theory in first-order logic: clauses for Gödel’s axioms. Journal of Automated Reasoning , 2:287–327, 1986... R Boyer,E Lusk,W Mccune,... - 《Journal of Automated Reasoning》 被引量: 142发表: 1986年 Integrating a First-Order Automatic Prover in the HOL Environment this...
First- and Second-Order Logic of Mass Terms 来自 Springer 喜欢 0 阅读量: 21 作者: P Roeper 摘要: Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference ...
First-Order Autoregressive First-Order Bayesian Logic First-Order Bayesian Network first-order climatological station First-Order Configuration Interaction first-order correlation First-Order Coupled Perturbed Hartree-Fock Theory first-order difference
关键词: Theoretical or Mathematical/ automata theory formal logic set theory/ first-order logic regular events symbolic logic star-free sets infinite words/ C1160 Combinatorial mathematics C4210 Formal logic C4220 Automata theory DOI: 10.1016/0022-0000(86)90037-1 ...