Search
Search Results
-
The Sum Relation as a Primitive Concept of Mereology
Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the par...
-
Is there an inconsistent primitive recursive relation?
The present paper focuses on Graham Priest’s claim that even primitive recursive relations may be inconsistent. Although he carefully presented his...
-
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries
We present BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. BIRD is a generic language capable of...
-
Undecidability of Algebras of Binary Relations
Let S be a signature of operations and relations definable in relation algebra (e.g. converse, composition, containment, union, identity, etc.), let...
-
Values and inductive risk in machine learning modelling: the case of binary classification models
I examine the construction and evaluation of machine learning (ML) binary classification models. These models are increasingly used for societal...
-
Bddl: A Type System for Binary Decision Diagrams
Binary Decision Diagrams (BDDs) are compact data structures used to efficiently store and process boolean functions. BDDs have many uses, from system...
-
Quantum states: an analysis via the orthogonality relation
From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a...
-
The relation of master and disciple against the background of Józef M. Bocheński’s logic of authority
The aim of this article is to apply Józef M. Bocheński’s logic of authority to a key interpersonal relation of philosophical interest: the...
-
The Relation between Reality and Negation in Kant, Maimon, and Fichte
The aim of this paper is to show that the binary notions of reality and negation play an important role in the philosophical agenda of Kant, Maimon...
-
Thinking the Now: Binary and Holistic Concepts in Dōgen’s Philosophy of Time
The chapter contributes to the debate on Dōgen’s theory of time by discussing key concepts of the Shōbōgenzō’s “Uji” fascicle in a broader context,...
-
Polanyi’s Copernican Realism: Content, Reception, and Relation to Three Contemporary Realisms
This chapter examines existing interpretations of the most widely commented-upon aspect of Michael Polanyi’s metaphysics, his metaphysical realism. I...
-
Binary Modal Companions for Subintuitionistic Logics
The weak subintuitionistic logicSub-intuitionistic logics WF, for which no standard unary modal companionModal companion is known, is found to have a...
-
Hilbert Algebras with Hilbert–Galois Connections
In this paper we introduce Hilbert algebras with Hilbert–Galois connections (HilGC-algebras) and we study the Hilbert–Galois connections defined in...
-
Questioning the boundary between “Us” and “Them” with Waldenfels and Derrida
Between what we call “us” and what we call “them”, a line must be drawn, which immediately becomes a contentious border, or a divide, that brings to...
-
From contrastivism back to contextualism
Contrastivism is the view that knowledge is a ternary relation between an agent, a content proposition, and a contrast, and it explains that a binary...
-
Editors’ Conclusions: The Past, Present, and Future of the Theory–German Idealism Relation
This concluding chapter to the handbook contains the editors’ reflections on the state of the relationship between theory and German Idealism by way...
-
Decidability of Modal Logics of Non-k-Colorable Graphs
We consider the bimodal language, where the first modality is interpreted by a binary relation in the standard way, and the second is interpreted by...
-
Continuous Accessibility Modal Logics
In classical modal semantics, a binary accessibility relation connects worlds. In this paper, we present a uniform and systematic treatment of modal...
-
One Variable Relevant Logics are S5ish
Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5 ish extensions of the underlying...
-
Domain Restrictions in the Aggregation of Classifications
The possibility of domain restrictions that allow the consistent use of majority-based aggregators for rankings of objects has been widely explored....