Prof. Marie Duží

Department of Computer Science, VSB-Technical University of Ostrava, Czech Republic.

Professor

Email: marie.duzi@vsb.cz

Qualifications

1982 Ph.D., Natural Sciences, Masaryk university of Brno, China.

1992 CSc., Candidate of Philosophical Sciences, Institute of Philosophy, Czech Academy of Sciences.

Publications (Selected)

Books, Book Chapters, Dissertation

1. Duží, M. (2015): Logic in practice; work in progress.
2. Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava. ISBN 978-80-248-2662-2.
3. Duží, M., Fait, M. (2021): A hyperintensional theory of intelligent question answering in TIL. In Loukanova, R. (ed.), Natural Language Processing in Artificial Intelligence - NLPinAI 2020, pp. 69-104, Springer book series Studies in Computational Intelligence (SCI, volume 939), Springer, ISBN 978-3-030-63787-3.

Journals

1. Duží, M. (2023): Specification of Agents’ Activities in Past, Present and Future. Submitted to Organon F, submitted to the special issue on “Special Issue: Times, Events and Logical Specification”.
2. Jespersen, B., Duží, M. (online): Transparent quantification into hyperpropositional contexts de dicto. First online in Linguistic and Philosophy, https://doi.org/10.1007/s10988-021-09344-9.
3. Číhalová, M., Duží, M. (2022): Modelling dynamic behaviour of agents in a multi-agent system; logical analysis of Wh-questions and answers. First online in Logic Journal of the IGPL, doi 10.1093/jigpal/jzab034.
4. Duží M., Jespersen B., Glavaničová D. (2021) Impossible Individuals as Necessarily Empty Individual Concepts. In: Giordani A., Malinowski J. (eds) Logic in High Definition. Trends in Logic (Studia Logica Library), vol 56, pp. 177-202. Springer, Cham. https://doi.org/10.1007/978-3-030-53487-5_9.
5. Duží, M., Menšík, M. (2020): Inferring knowledge from textual data by natural deduction. Computación y Sistemas, vol. 24, Issue 1, pp. 29-48.
6. Duží, M. (2019): If structured propositions are logical procedures then how are procedures individuated? Synthese special issue on the Unity of propositions, vol. 196, No. 4, pp. 1249-1283. DOI: 10.1007/s11229-017-1595-5.
7. Duží, M. (2018): Negation and presupposition, truth and falsity. Studies in Logic, Grammar and Rhetoric, vol. 54, No. 67, pp. 15-46, de Gruyter. DOI 10.2478/slgr-2018-0014.
8. Duží, M. (2017): Property modifiers and intensional essentialism. Computación y Sistemas, vol. 21, No. 4, 2017, pp. 601–613. DOI: 10.13053/CyS-21-4-2811.
9. Duží, M. (2017): Presuppositions and two kinds of negation. Logique & Analyse, vol. 239, pp. 245-263, the special issue on How to Say ‘Yes’ or ‘No’. DOI: 10.2143/LEA.239.0.3237153.
10. Duží, M. (2016): Procedurální sémantika TIL. Filosofický časopis, vol. 64, No. 6, pp. 901-929.
11. Duží, M., Číhalová, M. (2015): Questions, answers and presuppositions. Computación y Sistemas, vol. 19, No. 4, pp. 647-65.
12. Duží, M. (2014): Structural isomorphism of meaning and synonymy. Computacion y Sistemas, vol. 18, No. 3, pp. 439–453, DOI: 10.13053/CyS-18-3-2018.
13. Duží, M., Jespersen, B. (2013): Procedural isomorphism, analytic information, and beta-conversion by value, Logic Journal of the IGPL, Oxford, vol. 21, No. 2, pp. 291-308, DOI: 10.1093/jigpal/jzs044.
14. Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp. 513–554.
15. Duží M. (2011): St. Anselm’s Ontological Arguments. Polish Journal of Philosophy, Volume 5, Issue 1, Spring 2011, pp. 7-37, DOI: 10.5840/pjphil2011511 .
16. Duží M. (2010): The paradox of inference and the non-triviality of analytic information. Journal of Philosophical Logic, 2010, vol. 39, No. 5, pp. 473-510.
17. Duží M. (2009): Strawsonian vs. Russellian definite descriptions. Organon F, 2009, vol. XVI, No. 4, pp. 587-614.
18. Duží M. (2008): TIL as the Logic of Communication in a Multi-Agent System. Research in Computing Science, 2008, vol. 33, special issue Advances in Natural Language Processing and Applications, pp. 27-40. ISSN 1870-4069.
19. Duží M, Jespersen B. and Materna P. (2007): Points of View from a Logical Perspective II. Organon F, 2007, XIV, No. 1, pp. 5-31.
20. Duží M., Jespersen B. and Materna P. (2006): Points of View from a Logical Perspective I. Organon F, vol. XIII, No. 3, pp. 277-305.
21. Duží M. (2005): Kurt Gödel. Metamathematical results on formally undecidable propositions: Completeness vs. Incompleteness. Organon F, XII, No. 4, pp. 447-474.

Profile Details

https://www.cs.vsb.cz/duzi/