Results 11 to 20 of about 932,936 (91)
Introduction to categories and categorical logic [PDF]
, 2009 Working paper, submitted at Cornell University Library Archive on the 7th of February 2011. Available via http://arxiv.org/abs/1102.1313v196 pages96 pages96 pages96 pagesThe aim of these notes is to provide a succinct, accessible introduction to some of ...
Abramsky, S +5 more
core +1 more source
Argument schemes, topoi, and laws of logic
, 2011 In a pragma-dialectical reconstruction of argumentative discourse, argumentation schemes are used to analyze the way in which the acceptability of the argument is transferred to that of the standpoint.
Wagemans, J.H.M.; id_orcid
core +3 more sources
Geometrisation of first-order logic [PDF]
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Metatheoretic Results for a Non-Transitive Logic [PDF]
, 2013 This is a companion to ‘A Robustly Non-Transitive Logic’, Topoi 2013, which focuses mainly on the details of the metatheory for the logic advocated there; it can be read independently of that ...
Weir, A.
core +5 more sources
Reconstruction of non-$\aleph_0$-categorical theories
, 2020 International audienceWe generalise the correspondence between ℵ 0-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all ℵ 0-categorical ones) in ...
Ben Yaacov, Itaï, ITAÏ BEN YAACOV
core +1 more source
Random‐key optimization for 2D irregular packing with reusable area evaluation
International Transactions in Operational Research, EarlyView.Abstract The diverse constraints of industrial applications lead to variants of two‐dimensional (2D) irregular packing problems that require tailored solution methods. This paper addresses a real‐world industrial challenge by proposing a new problem definition, the maximum reusable contiguous area problem (MRCAP), and a novel metric, the maximum ...
Felipe S. C. Roberto +5 more
wiley +1 more source
Homo Nationalis and the Moralisation of Belonging: Rethinking National Identity in Austria
Nations and Nationalism, EarlyView.ABSTRACT This article examines how national identity and belonging in contemporary Austria are articulated through moral rather than ideological vocabularies. Analysing presidential, party, media and social media discourse surrounding the 2025 National Day, it conceptualises the homo nationalis as the moral citizen who embodies the nation's virtues of ...
Markus Rheindorf
wiley +1 more source
On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]
, 2013 This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core
Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi [PDF]
, 2020 We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of ...
Carchedi, D. ; https://orcid.org/ +1 more
core +1 more source
No History Without a Method: Anticipation and Other Bad Contexts
Theoria, EarlyView.ABSTRACT This paper argues for the centrality of methodological awareness in writing the history of philosophy. It does this by analysing and comparing different interpretive proposals presented by those engaged with past philosophical texts. Taking the literature on Thomas Hobbes from past and present century as an example, it shows the merits of ...
Ieva Höhne
wiley +1 more source