1

Annals of pure and applied logic

Amsterdam [u.a.]: Elsevier, 1983-
24.1983 -
Electronic Journal
2

The guarded fragment with transitive guards*1

E-Article
3

Supercomplete extenders and type 1 mice: Part I

E-Article
4

On monadic MV-algebras

E-Article
5
6

Concept lattices and order in fuzzy logic

E-Article
7

An intensional fixed point theory over first order arithmetic

E-Article
8

Effective completeness theorems for modal logic

E-Article
9

Provability algebras and proof-theoretic ordinals, I

E-Article
10

Shrinking games and local formulas*1

E-Article
11

Simple stable homogeneous expansions of Hilbert spaces*1

E-Article
12

Bare canonicity of representable cylindric and polyadic algebras

E-Article
13

Automatic models of first order theories

E-Article
14

Combinatorial realizability models of type theory

E-Article
15

Elementary descent recursion and proof theory

E-Article
16

Combinatorial principles in the core model for one Woodin cardinal

E-Article
17

Unrecognizability of manifolds

E-Article
18

Natural deduction for intuitionistic linear logic

E-Article
19

Totality in applicative theories

E-Article
20

Instances of dependent choice and the measurability of ℵω + 1

E-Article