Volume 156; Issue 3-4

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски

Volume 156; Issue 3-4

Fundamenta Informaticae

A Discrete Representation for Dicomplemented Lattices

Mereotopologies with Predicates of Actual Existence and Actual Contact

Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma

Duality for Quasilattices and Galois Connections

On Modalities and Quantifiers

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics Éâ, Éâ+ and their Extensions with n-ary Roles and Numerical Domains

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics Éâ, Éâ+ and their Extensions with n-ary Roles and Numerical Domains