Volume 113; Issue 1-3

Annals of Pure and Applied Logic

Volume 113; Issue 1-3
1

Preface

Yuri Matiyasevich
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 27 KB
english, 2001
2

Complexity of t-tautologies

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 87 KB
english, 2001
7

Towards logical operations research—propositional case

Gennady Davydov, Inna Davydova
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 178 KB
english, 2001
8

Finite methods in 1-order formalisms

L. Gordeev
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 220 KB
english, 2001
9

Complexity of Null- and Positivstellensatz proofs

Dima Grigoriev, Nicolai Vorobjov
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 91 KB
english, 2001
10

A(nother) characterization of intuitionistic propositional logic

Rosalie Iemhoff
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 123 KB
english, 2001
12

The single-conclusion proof logic and inference rules specification

Vladimir N. Krupski
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 187 KB
english, 2001
13

On calculational proofs

Vladimir Lifschitz
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 96 KB
english, 2001
14

Interpolation theorems for intuitionistic predicate logic

G. Mints
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 137 KB
english, 2001
15

Arithmetic complexity of the predicate logics of certain complete arithmetic theories

Valery Plisko
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 137 KB
english, 2001
16

On a finitary version of mathematical analysis

N.A. Shanin
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 194 KB
english, 2001
17

Coercion completion and conservativity in coercive subtyping

Sergei Soloviev, Zhaohui Luo
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 217 KB
english, 2001
18

A general condition for collapse results

Michael A. Taitslin
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 88 KB
english, 2001
19

The Woods–Erdös conjecture for polynomial rings

Maxim Vsemirnov
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 125 KB
english, 2001
20

Logic of proofs and provability

Tatiana Yavorskaya (Sidon)
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 216 KB
english, 2001
21

Provability logics with quantifiers on proofs

Rostislav E. Yavorsky
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 124 KB
english, 2001
22

Dual realizability in symmetric logic

I.D. Zaslavsky
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 70 KB
english, 2001
23

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 26 KB
english, 2001
24

Author index

Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 35 KB
english, 2001