Volume 46; Issue 5-6

Archive for Mathematical Logic

Volume 46; Issue 5-6
1

Normal forms for fuzzy logics: a proof-theoretic approach

Year:
2007
Language:
english
File:
PDF, 245 KB
english, 2007
2

Provability in predicate product logic

Year:
2007
Language:
english
File:
PDF, 228 KB
english, 2007
3

Δ1Ultrapowers are totally rigid

Year:
2007
Language:
english
File:
PDF, 150 KB
english, 2007
5

Fuzzy logics based on [0,1)-continuous uninorms

Year:
2007
Language:
english
File:
PDF, 395 KB
english, 2007
7

Antichains in partially ordered sets of singular cofinality

Year:
2007
Language:
english
File:
PDF, 177 KB
english, 2007
9

On some sheaves of special groups

Year:
2007
Language:
english
File:
PDF, 161 KB
english, 2007
10

Theories with constants and three countable models

Year:
2007
Language:
english
File:
PDF, 191 KB
english, 2007
11

Generalized quantifier and a bounded arithmetic theory for LOGCFL

Year:
2007
Language:
english
File:
PDF, 614 KB
english, 2007