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 ...
The theory of one-step rewriting for a given rewrite system R and signature ε is the first-order theory of the following structure: Its universe consists of all ε -ground terms, and its only predicate is the relation " x rewrites to y in one step by R ". The structure contains no ...
We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of tw... J Vaananen - 《Bulletin of Symbolic Logic》 被引量: 169发表: 2001年 Graph Structure and Monadic Second-Order Logic: Language Theoreti...
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
Details on the logic programs and set-v... Talbot,Jean-Marc - 《Information Processing Letters》 被引量: 1发表: 2000年 Solving First-Order Constraints in the Theory of the Evaluated Trees We describe in this paper a general algorithm for solving first-order constraints in the theory T of ...
Linear Theory for Homogenous System of 1st-order Linear DEs给定方程组\boldsymbol{x}' (t) = \boldsymbol{A}(t) \boldsymbol{x}(t)\tag{2.1}其中\boldsymbol{A}(t) 是一个在区间 I 上的n\times n 连续矩阵函数,(2.1)的通解为:\boldsymbol{x}(t) = c_1 \boldsymbol{x}_1(t) + c_2 ...
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...
Part 1. First-order theory The radial dynamics of a spherical bubble in a compressible liquid is studied by means of a simplified singular-perturbation method to first order in the bubble-wall Mach number. It is shown that, at this order, a one-parameter family of... A Prosperetti,A ...
因此,一个语句的真假取决于两个东西:我们的底层集合(underlying set)与我们对映射、常量、关系符号的解释。 一个结构(structure)由一个底层集合与不同的映射、常量、关系的解释组成。结构在一阶逻辑中扮演的角色与指派在命题逻辑中扮演的角色是相似的。给定任意语句φ和任意结构M,我们来定义什么是M模φ(Mmodelsφ)...