 About 4,780 results  books.google.com without functional symbols or equality, logical calculi. We shall say that a formula
is derivable in a logical calculus if it belongs to the given enumerable set. We
shall say that a sequent is derivable in a logical calculus if its formula image (see
... 

 books.google.com Derivation rule) in logicomathematical calculi. By a "substitution rule' one may
mean various forms of the rule. For example, in the prupositional calculus a
substitution rule is a formula together with all occurrences of the propositional
variable. 

 books.google.com THE INVERSE METHOD FOR ESTABLISHING DEDUCIBILITY FOR LOGICAL
CALCULI S. JU. ... the problem of searching for deductions of formulas of a given
logicomathematical language in a given logical or logicomathematical calculus. 

 books.google.com THE INVERSE METHOD FOR ESTABLISHING DEDUCIBILITY FOR LOGICAL
CALCULI S. JU. ... the problem of searching for deductions of formulas of a given
logicomathematical language in a given logical or logicomathematical calculus. 

 books.google.com (iii) The customary interpretation for the arithmetical calculus is a logico
mathematical one.26 This understanding of Carnap (viz., he believes Tarski
misses his target explicandum) also shows why Carnap has not violated his
principle of ... 

 books.google.com But the task which is thus outlined is certainly not fulfilled by the construction of a
logicomathe matical calculus alone. For this calculus does not contain all the
sentences which contain mathematical symbols and which are relevant for ... 

 books.google.com Michiel Hazewinkel  1994  Preview Such sets are extensively used in mathematics; in particular, the formalization of
any extended theory leans on a large ... Logical calculus) were the first examples
of completelyformalized deductive systems (on the basis of these calculi one ... 

 books.google.com Procedurally a calculus is firstly constructed, and then semantical rules are laid
down to give the calculus factual content. The resulting physical calculus will
usually presuppose a logical mathematical calculus as its basis, to which there
are ... 

 books.google.com The “universal machine” enables any mathematical function to be defined on the
basis of its calculability by the machine. ... mind's cognitive capacities, conceived
of in terms of information processing rather than logicomathematical calculus. 

 books.google.com The transformation rules of a calculus thus completely fix the 'meaning' — that is,
the significance, the potential use — of the logico mathematical vocabulary in
that they partition the sentences containing just that vocabulary into valid and ... 

 The Foundations of Arithmetic Free Shipping on Qualified Orders.
 