نتایج جستجو برای: pseudo first order

تعداد نتایج: 2189998  

2007
Graham White

This paper analyses the arguments of a group of philosophers – Davidson [7, 6], Kim [9], Bennett [1] and Parsons [15] – who have worked on the semantics of actions. They argue that inference patterns involving adverbs require a semantics, formalised in first-order logic, in which actions are first-class individuals. In particular, equalities between actions must be meaningful. (We should note, ...

2011
Tim Button Peter Smith

Tennenbaum’s Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to modeltheoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standar...

Journal: :Ann. Pure Appl. Logic 1999
Saharon Shelah J. K. Truss

A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [10]. Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S(μ) on an infinite cardinal μ are all of the form Sκ(μ) = the subgroup consisting of elements whose support has cardinality < κ, for some κ ≤ μ. A many-sorted structure Mκλμ is defined wh...

Journal: :J. Symb. Log. 2003
Pascal Koiran

A Liouville function is an analytic function H : C → C with a Taylor series ∑ ∞ n=1 xn/an such the an’s form a “very fast growing” sequence of integers. In this paper we exhibit the complete first-order theory of the complex field expanded with H .

Journal: :J. Log. Comput. 1997
Robin Hirsch

Two complexity problems in algebraic logic are surveyed: the satisfaction problem and the network satisfaction problem. Various complexity results are collected here and some new ones are derived. Many examples are given. The network satisfaction problem for most cylindric algebras of dimension four or more is shown to be intractable. Complexity is tied-in with the expressivity of a relation al...

2003
Valentin Goranko Ullrich Hustadt Renate A. Schmidt Dimiter Vakarelov

scan is an algorithm for reducing existential second-order logic formulae to equivalent simpler formulae, often first-order logic formulae. It is provably impossible for such a reduction to first-order logic to be successful for every second-order logic formula which has an equivalent first-order formula. In this paper we show that scan successfully computes the first-order equivalents of all S...

1996
Martin Hofmann Donald Sannella

The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al, is further generalized to this case....

Journal: :CoRR 2014
Ramanathan V. Guha

Distributed representations (such as those based on embed-dings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We present a model theory/semantics for first order logic based on vectors of reals. We describe the model theory , discuss some interesting properties of such ...

2011
SALMAN SIDDIQI

This paper attempts to serve as an introduction to abstract model theory. We introduce the notion of abstract logics, explore first-order logic as an instance of and as the basis for abstract logics, and end by proving Lindström’s theorem.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید