181.
Classical Recapture
- Aberdein, Andrew
In particular if a relationship of this kind can be shown to exist
between a non-classical logic and classical logic, the non-classical system is
said to exhibit classical recapture.
182.
La Explicación como Producto Lógico o como Producto de la Praxis
- Aníbal R. Bar
La Explicación como Producto Lógico o como Producto de la Praxis.
183.
Some results on combinators in the system TRC
- Jech, Thomas
We investigate the system TRC of combinatory logic that is equiconsistent
with New Foundations.
184.
Tennenbaum at Penn and Rochester
- Nathanson, Melvyn B.
This is the text of a lecture at the Logic Conference in Memory of Stanley
Tennenbaum at the CUNY Graduate Center on April 7, 2006.
185.
Some compact logics --- results in ZFC
- Mekler, Alan H.; Shelah, Saharon
We show that if we enrich first order logic by allowing quantification over
isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}),
is fully compact.
186.
\"Um provador de teoremas multi-estratégia\"
- Adolfo Gustavo Serra Seca Neto
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE.
187.
Lógica da ironia
- Sauret,Marie-Jean
Longe de confinar-se no inefável, a psicanálise, depois de Lacan e graças a ele, não hesita em se explicar sobre a lógica de seu discurso: ela demonstra que, mesmo se distinguindo da ciência, se esforça para alcançar um rigor digno desta última.
188.
Approximating Propositional Calculi by Finite-valued Logics
- Baaz, Matthias; Zach, Richard
It is investigated how far this
method can be carried using (1) one or (2) an infinite sequence of
finite-valued logics.
189.
Generic substitutions
- Panti, Giovanni
On the dual space, this results in a continuous function,
and whenever the space carries a natural measure one may ask about the
stochastic properties of the action.
190.
A linnear-logical approach to some syntactic-semantic phenomena in romance languages
- Lecomte, Alain
En el presente artículo se utiliza la lógica lineal no conmutativa para dar una representación de algunos problemas sintáctico-semánticos que ocurren preferentemente en las lenguas románicas, tales como constituyentes discontinuos (por ejemplo, el caso de la negación en francés) o los clíticos.
191.
A linnear-logical approach to some syntactic-semantic phenomena in romance languages
- Lecomte, Alain
En el presente artículo se utiliza la lógica lineal no conmutativa para dar una representación de algunos problemas sintáctico-semánticos que ocurren preferentemente en las lenguas románicas, tales como constituyentes discontinuos (por ejemplo, el caso de la negación en francés) o los clíticos.
192.
Analytic and pseudo-analytic structures (a survey)
- Zilber, B.
The paper is an extended version of the talk in the Logic Colloquium-2000 at
Paris.
193.
Grothendieck rings of o-minimal expansions of ordered abelian groups
- Kageyama, M.; Fujita, M.
We will calculate completely the Grothendieck rings, in the sense of first
order logic, of o-minimal expansions of ordered abelian groups by introducing
the notion of the bounded Euler characteristic.
194.
Identity of Proofs Based on Normalization and Generality
- Dosen, K.
In general proof theory there are two approaches to the question of identity
criteria for proofs.
195.
On Weak and Strong Interpolation in Algebraic Logics
- Sagi, Gabor; Shelah, Saharon
We show that there is a restriction, or modification of the finite-variable
fragments of First Order Logic in which a weak form of Craig's Interpolation
Theorem holds, but a strong form of this theorem does not hold.
196.
Languages, Algorithms, Procedures, Calculi, and Metalogic
- Burgin, Mark
Logicians study and apply a multiplicity of various logical systems.
197.
Introduction to Cirquent Calculus and Abstract Resource Semantics
- Japaridze, Giorgi
This paper introduces a refinement of the sequent calculus approach called
cirquent calculus.
198.
Defining Homomorphisms and Other Generalized Morphisms of Fuzzy
Relations in Monoidal Fuzzy Logics by Means of BK-Products
- Kohout, Ladislav J.
The present paper extends generalized morphisms of relations into the realm
of Monoidal Fuzzy Logics by first proving and then using relational
inequalities over pseudo-associative BK-products (compositions) of relations in
these logics.
199.
Choiceless polynomial time
- Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
Turing machines define polynomial time (PTime) on strings but cannot deal
with structures like graphs directly, and there is no known, easily computable
string encoding of isomorphism classes of structures.
200.
A Delta^2_2 well-order of the reals and incompactness of L(Q^{MM})
- Abraham, Uri; Shelah, Saharon
A forcing poset of size 2^{2^{aleph_1}} which adds no new reals is described
and shown to provide a Delta^2_2 definable well-order of the reals (in fact,
any given relation of the reals may be so encoded in some generic extension).
