Journals in DBLP

Math. Log. Q.
2000, volume: 46, number: 2

1. Wolfgang Degen, Jan Johannsen
   Cumulative Higher-Order Logic as a Foundation for Set Theory. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:147-170 [Journal]
   
2. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
   A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:171-182 [Journal]
   
3. Daniel Dzierzgowski, Olivier Esser, Roland Hinnion
   Fixed-points of Set-continuous Operators. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:183-198 [Journal]
   
4. Mojtaba Aghaei, Mohammad Ardeshir
   A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:199-206 [Journal]
   
5. Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
   A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:207-218 [Journal]
   
6. Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
   Paracompactness of Metric Spaces and the Axiom of Multiple Choice. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:219-232 [Journal]
   
7. Hans-E. Porst
   The Essentially Equational Theory of Horn Classes. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:233-240 [Journal]
   
8. Jörg Brendle
   Martin's Axiom and the Dual Distributivity Number. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:241-248 [Journal]
   
9. Chris Pollett
   Translating I-Delta₀ + exp Proofs into Weaker Systems. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:2, pp:249-256 [Journal]
   
10. Giuseppe Longo
    Prototype Proofs in Type Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:2, pp:257-266 [Journal]
    
11. Ivo Düntsch, Ewa Orlowska
    Logics of Complementarity in Information Systems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:2, pp:267-288 [Journal]