Results 291 to 296 of about 88,869 (296)

decision problems for various first-order interpreted predicate languages in which the variables range over Nk (k _ 2). Our main result is that there is no decision procedure for truth in the interpreted language which has

, 2016
J. W. Thatcher
openalex  

Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies

, 1968
David A. Clarke
openalex  

Some of the next articles are maybe not open access.

Related searches:

Predicate doubling and parallel chains

Lingua, 2009
exaly  

A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY

, 1966
Joseph Gary Brown
openalex  

Predicating the Molecular Structure of Single Chain Fragment Variable Antibody against NH_2-terminal Lipopolysaccharide Binding Protein by Bioinformation Technique

, 2006
You‐Sheng Liu, Changsong Wang, Yanping Chen   +2 more
openalex  

Inductive inference in the variable valued predicate logic system vl21: methodology and computer implementation.

, 1977
James B. Larson
openalex