External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 30, Issue 4

    485 -- 512Hugues Leblanc, Peter Roeper. On Relativizing Kolmogorov s Absolute Probability Functions
    513 -- 529Awad A. Iskander. An Isomorphism Between Rings and Groups
    530 -- 538Andreas Blass, Saharon Shelah. Near Coherence of Filters III: A Simplified Consistency Proof
    539 -- 542R. Michael Canjar. Cofinalities of Countable Ultraproducts: The Existence Theorem
    543 -- 562Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti. Some Results on Intermediate Constructive Logics
    563 -- 573Ildikó Sain. An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic
    574 -- 582Fabio Bellissima. Infinite Sets of Nonequivalent Modalities
    583 -- 597Igor Urbas. Paraconsistency and the C-Systems of da Costa
    598 -- 603Christopher Menzel. On an Unsound Proof of the Existence of Possible Worlds
    604 -- 623Richard L. Mendelsohn. Objects and Existence: Reflections on Free Logic
    624 -- 628Józef Dudek, Andrzej Kisielewicz. On Finite Models of Regular Identities
    runs on