Achim Jung

Publications

  1. Published

    Four-valued modal logic: Kripke semantics and duality

    Umberto Rivieccio, Achim Jung, 15 Jun 2015, In: Journal of Logic and Computation. 43 p.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    A duality for two-sorted lattices

    Umberto Rivieccio & Achim Jung, 5 Jan 2021, In: Soft Computing. 25, 2, p. 851–868

    Research output: Contribution to journalArticlepeer-review

  3. E-pub ahead of print

    Non-involutive twist-structures

    Achim Jung, 29 Nov 2018, In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Preface for the special issue on domains

    Achim Jung, 1 Apr 2010, In: Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

    Research output: Contribution to journalEditorial

  5. Published

    From the Chinese room argument to the Church-Turing thesis

    Achim Jung, 6 Apr 2018, Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    A logic for probabilities in semantics

    Achim Jung, 1 Jan 2002, p. 216-231. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    A bitopological point-free approach to compactifications

    Achim Jung, 1 Aug 2011, In: Topology and its Applications. 158, 13, p. 1551-1566 16 p.

    Research output: Contribution to journalArticle

  8. Published

    Column - Semantics: Teaching denotational sematics

    Achim Jung, 1 Oct 2014, In: ACM SIGLOG News. 1, 2, p. 25-37

    Research output: Contribution to journalComment/debate

  9. Published

    Berechnungsmodelle

    Achim Jung, 1 Jan 2006, Informatik-Handbuch . 4th ed. Hanser Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Stably compact spaces and the probabilistic powerspace construction: in Domain-theoretic Methods in Probabilistic Processess

    Achim Jung, 1 Jan 2004, p. 5-20. 16 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 4 Next