Journals in DBLP
Xiaoding Yi , Alistair H. Lachlan Jump Theorems for REA Operators. [Citation Graph (0, 0)][DBLP ] Journal ] Arthur L. Rubin , Jean E. Rubin Weak Forms of the Axiom of Choke and the Generalized Continuum Hypothesis. [Citation Graph (0, 0)][DBLP ] Journal ] Hirokazu Nishimura On a Duality Between Boolean Valued Analysis and Topological Reduction Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Heinrich Rolletschek A Variant of the Notion of Semicreative Set. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Rathjen How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals. [Citation Graph (0, 0)][DBLP ] Journal ] Douglas S. Bridges Sequential, Pointwise, and Uniform Continuity: A Constructive Note. [Citation Graph (0, 0)][DBLP ] Journal ] Toshio Suzuki Witnessing Numbers of Shelah Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] Jacob C. E. Dekker Isols and Maximal Intersecting Classes. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Dowd Remarks on Levy's Reflection Axiom. [Citation Graph (0, 0)][DBLP ] Journal ] Helmut Wolter On Roots of Exponential Terms. [Citation Graph (0, 0)][DBLP ] Journal ] Maciej Kandulski Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product. [Citation Graph (0, 0)][DBLP ] Journal ] Luc Lismont La connaissance commune en logique modale. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Schreiber A Note on Parallelism in Affine Geometry. [Citation Graph (0, 0)][DBLP ] Journal ] Luiz Carlos Pereira , Edward Hermann Haeusler A Formalization of Sambin's Normalization for GL. [Citation Graph (0, 0)][DBLP ] Journal ] Friedrich Otto , Daniel E. Cohen , Klaus Madlener Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups. [Citation Graph (0, 0)][DBLP ] Journal ] J.-M. Brochet The Finite Cutset Property. [Citation Graph (0, 0)][DBLP ] Journal ] Edwin D. Mares Classically Complete Modal Relevant Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Benedetto Intrigila The Basic Decision Problem in lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Andrzej Orlicki Computable Limits and Colimits in Categories of Partial Enumerated Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Isidore Fleischer Completeness of the Infinitary Polyadic Axiomatization. [Citation Graph (0, 0)][DBLP ] Journal ] Ugo Solitro , Silvio Valentini Local Computation in Linear Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Mark Mandelkern Open Subspaces of Locally Compact Metric Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Noriya Kadota On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal. [Citation Graph (0, 0)][DBLP ] Journal ] Radosav S. Dordevic Analytic Completeness Theorem for Singular Biprobability Models. [Citation Graph (0, 0)][DBLP ] Journal ] Claudio Cerrato Modal Sequents for Normal Modal Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Hirokazu Nishimura A Boolean Transfer Principle from L* -Algebras to AL* -Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Dowd Higher Type Categories. [Citation Graph (0, 0)][DBLP ] Journal ] Nalinaxi H. Sankappanavar , Hanamantagouda P. Sankappanavar Quasi-Stone Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Andreas Weiermann A Simplified Functorial Construction of the Veblen Hierarchy. [Citation Graph (0, 0)][DBLP ] Journal ] Nando Prati A Partial Model of NF with ZF. [Citation Graph (0, 0)][DBLP ] Journal ] George Rousseau The Theorem of the Means for Cardinal and Ordinal Numbers. [Citation Graph (0, 0)][DBLP ] Journal ] Michal Krynicki Hierarchies of Partially Ordered Connectives and Quantifiers. [Citation Graph (0, 0)][DBLP ] Journal ] Douglas S. Bridges Constructive Notions of Strict Convexity. [Citation Graph (0, 0)][DBLP ] Journal ] Marcus Kracht Prefinitely Axiomatizable Modal and Intermediate Logics. [Citation Graph (0, 0)][DBLP ] Journal ] John L. Bell Hilbert's epsilon-Operator in Intuitionistic Type Theories. [Citation Graph (0, 0)][DBLP ] Journal ] Ruggero Ferro , Stefano Baratella A Theory of Sets with the Negation of the Axiom of Inflnity. [Citation Graph (0, 0)][DBLP ] Journal ] Paul E. Howard Variations of Rado's Lemma. [Citation Graph (0, 0)][DBLP ] Journal ] Bhavani M. Thuraisingham System Function Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Andreas Weiermann An Order-Theoretic Characterization of the Schütte-Veblen-Hierarchy. [Citation Graph (0, 0)][DBLP ] Journal ] Martin K. Solomon Measure Independent Gödel Speed-Ups and the Relative Difculty of Recognizing Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Victor Pambuccian Ternary Operations as Primitive Notions for Constructive Plane Geometry III. [Citation Graph (0, 0)][DBLP ] Journal ] Vladimir V. Rybakov Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Mark Mandelkern Finitary Sequence Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Thomas G. McLaughlin A Note on Effective Ultrapowers: Uniform Failure of Bounded Collection. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel Dzierzgowski Typical Ambiguity and Elementary Equivalence. [Citation Graph (0, 0)][DBLP ] Journal ] Jeffry L. Hirst Derived Sequences and Reverse Mathematics. [Citation Graph (0, 0)][DBLP ] Journal ] Anasthasios Tzouvaras Non-Circular, Non-Well-Founded Set Universes. [Citation Graph (0, 0)][DBLP ] Journal ] Carlos A. Di Prisco , Walter Alexandre Carnielli Some Results an Polarized Relations of Higher Dimension. [Citation Graph (0, 0)][DBLP ] Journal ] Steffen Lempp , Rodney G. Downey , Richard A. Shore Highness and Bounding Minimal Pairs. [Citation Graph (0, 0)][DBLP ] Journal ] Karl-Heinz Diener On the Predecessor Relation in Abstract Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Frank Stephan , Carl G. Jockusch Jr. A Cohesive Set which is not High. [Citation Graph (0, 0)][DBLP ] Journal ] Zoran Markovic On the Structure of Kripke Models of Heyting Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Silvio Valentini A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability. [Citation Graph (0, 0)][DBLP ] Journal ] Kyriakos Keremedis Partition Reals and the Consistency of t < add(R). [Citation Graph (0, 0)][DBLP ] Journal ] Andrzej Orlicki omega-Operations over Partial Enumerated Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Helmut Wolter Consequences of Schanuel's Condition for Zeros of Exponential Terms. [Citation Graph (0, 0)][DBLP ] Journal ] Roger D. Maddux Finitary Algebraic Logic II. [Citation Graph (0, 0)][DBLP ] Journal ] 