External Links

    Journal: Fundamenta Informaticae

    Volume 156, Issue 3-4

    0 -- 0Damian Niwinski, Ewa Orlowska. Preface
    255 -- 280Janusz Czelakowski. Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma
    281 -- 295Ivo Düntsch, Léonard Kwuida, Ewa Orlowska. A Discrete Representation for Dicomplemented Lattices
    297 -- 330Melvin Fitting. On Modalities and Quantifiers
    331 -- 359Anna B. Romanowska, Jonathan D. H. Smith. Duality for Quasilattices and Galois Connections
    361 -- 411Viorica Sofronie-Stokkermans. n-ary Roles and Numerical Domains
    413 -- 432Dimiter Vakarelov. Mereotopologies with Predicates of Actual Existence and Actual Contact
    433 -- 434. AUTHOR INDEX VOLUME 156
    runs on