Volume 52; Issue 7-8

Archive for Mathematical Logic

Volume 52; Issue 7-8
1

A proof-search procedure for intuitionistic propositional logic

Year:
2013
Language:
english
File:
PDF, 255 KB
english, 2013
2

Traces, traceability, and lattices of traces under the set theoretic inclusion

Year:
2013
Language:
english
File:
PDF, 355 KB
english, 2013
3

Strongly dominating sets of reals

Year:
2013
Language:
english
File:
PDF, 306 KB
english, 2013
4

Generalized Bosbach states: Part II

Year:
2013
Language:
english
File:
PDF, 476 KB
english, 2013
5

A short proof of Glivenko theorems for intermediate predicate logics

Year:
2013
Language:
english
File:
PDF, 145 KB
english, 2013
6

Co-analytic mad families and definable wellorders

Year:
2013
Language:
english
File:
PDF, 278 KB
english, 2013
7

Maximally embeddable components

Year:
2013
Language:
english
File:
PDF, 370 KB
english, 2013
8

Simple groups and the number of countable models

Year:
2013
Language:
english
File:
PDF, 221 KB
english, 2013
9

On VC-minimal theories and variants

Year:
2013
Language:
english
File:
PDF, 243 KB
english, 2013
10

On a problem of Ishmukhametov

Year:
2013
Language:
english
File:
PDF, 185 KB
english, 2013
12

Labeled sequent calculi for modal logics and implicit contractions

Year:
2013
Language:
english
File:
PDF, 325 KB
english, 2013
13

On predicate provability logics and binumerations of fragments of Peano arithmetic

Year:
2013
Language:
english
File:
PDF, 200 KB
english, 2013