Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices Bin ZhaoHongjun Zhou OriginalPaper 14 May 2013 Pages: 689 - 706
Generalized Bosbach states: Part II Lavinia Corina CiunguGeorge GeorgescuClaudia Mureşan OriginalPaper 25 June 2013 Pages: 707 - 732
On a problem of Ishmukhametov Chengling FangGuohua WuMars Yamaleev OriginalPaper 24 May 2013 Pages: 733 - 741
On VC-minimal theories and variants Vincent GuingonaMichael C. Laskowski OriginalPaper 28 May 2013 Pages: 743 - 758
A proof-search procedure for intuitionistic propositional logic R. Alonderis OriginalPaper 28 May 2013 Pages: 759 - 778
Simple groups and the number of countable models Predrag Tanović OriginalPaper 28 May 2013 Pages: 779 - 791
Co-analytic mad families and definable wellorders Vera FischerSy David FriedmanYurii Khomskii OriginalPaper 12 June 2013 Pages: 809 - 822
A short proof of Glivenko theorems for intermediate predicate logics Christian Espíndola OriginalPaper 21 June 2013 Pages: 823 - 826
Strongly dominating sets of reals Michal DečoMiroslav Repický OriginalPaper 10 July 2013 Pages: 827 - 846
Traces, traceability, and lattices of traces under the set theoretic inclusion Gunther Mainhardt OriginalPaper 17 July 2013 Pages: 847 - 869
On predicate provability logics and binumerations of fragments of Peano arithmetic Taishi Kurahashi OriginalPaper 24 August 2013 Pages: 871 - 880
Labeled sequent calculi for modal logics and implicit contractions Pierluigi Minari OriginalPaper 28 August 2013 Pages: 881 - 907