Results 41 to 50 of about 932,936 (91)
Relational and Allegorical Semantics for Constraint Logic Programming [PDF]
, 2012 El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de
Gallego Arias, Emilio Jesús
core +1 more source
A Note on Logic Programming Fixed-Point Semantics
, 1993 In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is characterized by properties of universality.
Sassone, V.
core +1 more source
FactCheck: Feasibility‐Aware Long‐Term Action Anticipation With Multi‐Agent Collaboration
IET Software, Volume 2026, Issue 1, 2026.Long‐term action anticipation (LTA) aims to predict an ordered sequence of future verb‐noun actions from a partially observed video. While this task serves as the foundation for embodied intelligence, anticipating physically feasible long‐term actions remains a critical challenge.
Rui Cao +5 more
wiley +1 more source
Categorical Abstract Algebraic Logic: Coordinatization is Algebraization [PDF]
, 2015 The methods of categorical abstract algebraic logic are employed to show that the classical process of the coordinatization of abstract (affine plane) geometry can be viewed under the light of the algebraization of logical systems.
Voutsadakis, George
core
, 2020 The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation.
Peter Simons
core +1 more source
Relativized Grothendieck Topoi
, 2020 In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with ...
Nathanael Leedom Ackerman
core
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +14 more
core +1 more source
Categorical Logic and Model Theory
, 2018 The chapter begins with an introduction describing the development of categorical logic from the 1960s. The next section, `Categories and Deductive Systems’, describes the relationship between categories and propositional logic, while the ensuing section,
John L. Bell
core +1 more source
Classifying Topoi and Preservation of Higher Order Logic by Geometric Morphisms. [PDF]
, 2013 Topoi are categories which have enough structure to interpret higher order logic. They admit two notions of morphism: logical morphisms which preserve all of the structure and therefore the interpretation of higher order logic, and geometric morphisms ...
Henry, Shawn J.
core +2 more sources