March 2024 - 3 articles
The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing, in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences. The theory...
Recently, historians have discussed the relevance of the nineteenth-century mathematical discipline of projective geometry for early modern classical logic in relation to possible solutions to semantic problems facing it. In this paper, I consider He...
In this paper, we produce an extension of Englebretsen’s line diagrams in order to represent modal syllogistic, i.e., we add some diagrammatic objects and rules to his system in order to reason about modal syllogistics in a diagrammatic, linear...
Get Alerted
Add your email address to receive forthcoming issues of this journal.
