Posted on the journal site for open access on December 1, 2016 | ||
---|---|---|
This is a special issue with selected papers (revised versions) presented at the 2016 edition of the annual Conference on Mathematical Foundations of Informatics MFOI-2016 | ||
Mathematical logic and foundations | ||
Propositional inquisitive logic: a survey Ivano Ciardelli | 27.05.2016 | pp.295-311 |
"The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya Eberhard Guhe | 03.10.2016 | pp.312-334 |
Order, lattices, ordered algebraic structures | ||
About Applications of Distances on Monoids of Strings Mitrofan Choban, Ivan Budanaev | 22.09.2016 | pp.335-356 |
Theory of computing | ||
Insertion Modeling and Its Applications Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko | 13.10.2016 | pp.357-370 |
Theoretical aspects of software system development | ||
Proving Properties of Programs on Hierarchical Nominative Data Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev | 06.10.2016 | pp.371-398 |
Natural Language Processing | ||
Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language Dan Cristea | 15.06.2016 | pp.399-416 |
Computer system organization | ||
Executable choreographies applied in OPERANDO Sînică Alboaie, Lenuta Alboaie, Mircea-Florin Vaida, Cristina Olariu | 02.10.2016 | pp.417-436 |