Normal forms for fuzzy logics: a proof-theoretic approach Petr CintulaGeorge Metcalfe OriginalPaper 14 March 2007 Pages: 347 - 363
Provability in predicate product logic Michael C. LaskowskiShirin Malekpour OriginalPaper 13 March 2007 Pages: 365 - 378
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters Pierluigi Minari OriginalPaper 27 February 2007 Pages: 385 - 424
Fuzzy logics based on [0,1)-continuous uninorms Dov GabbayGeorge Metcalfe OriginalPaper 28 February 2007 Pages: 425 - 449
A cardinal preserving extension making the set of points of countable V cofinality nonstationary Moti GitikItay NeemanDima Sinapova OriginalPaper 25 April 2007 Pages: 451 - 456
Antichains in partially ordered sets of singular cofinality Assaf Rinot OriginalPaper 21 March 2007 Pages: 457 - 464
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic Nobuyuki SakamotoKeita Yokoyama OriginalPaper 21 March 2007 Pages: 465 - 480
Generalized quantifier and a bounded arithmetic theory for LOGCFL Satoru Kuroda OriginalPaper 23 March 2007 Pages: 489 - 516
Theories with constants and three countable models Predrag Tanović OriginalPaper 17 March 2007 Pages: 517 - 527