Den 5/1-2026 kommer GUPEA att vara otillgängligt för alla under hela dagen.

Browsing Acta Philosophica Gothoburgensia by Issue Date

Now showing items 41-44 of 44

    • Fixed IDs about Truth – Truth and Fixpoints over Intuitionistic Arithmetic 

      Granberg Olsson, Mattias (Acta Universitatis Gothoburgensis, 2025-05-08)
      This dissertation concerns first-order theories of iterated positive truth and fixpoints over intuitionistic arithmetic in three respects: the strength of these theories relative to the arithmetic base theories, relationships ...

    • Ordering Thought: Cognitive Complexity of a Description Logic 

      Fokkens, Tjeerd (Acta Universitatis Gothoburgensis, 2025-10-06)
      \noindent Knowledge bases are used in a variety of industries to efficiently represent data, but they sometimes contain errors. The debugging of knowledge bases is, therefore, a vitally important process. Debugging ...

    • Cyclic Proof Theory 

      Wehr, Dominik (2025-11-18)
      Cyclic proofs are graphs, rather than trees, requiring additional soundness conditions to distinguish proofs from mere derivations. Using an abstract notion of cyclic proof system (CPS), this dissertation presents uniform ...

    • Antimicrobial resistance in the environment: ethical considerations for policy 

      Fumagalli, Davide (2025-11-25)
      This thesis contributes to the field of public health ethics by examining the ethical challenges posed by antimicrobial resistance (AMR) in the environment, with a particular focus on those that are relevant to policymaking. ...