Logic vs Temptation ?
...
Topological Modal Logics with Difference Modality
We consider propositional modal logic with two modal operators $\Box$ and $\D$. In topological semantics $\Box$ is interpreted as an interior operator and $\D$ as difference. We show that some important topological properties are expressible in this...
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may c...
gusmanb/logicanalyzer
24 channel, 100Msps logic analyzer hardware and software (⭐ 4635)
What a thoughtful transition, Logic!
...
Average Logic moment
...
Show HN: I made a discrete logic network card
Points: 541 | Comments: 84 | Author: ynoxinul
Outjerked by Logic???
...
Logic gate - Wikipedia
constructed by connecting several gates in a "latch" circuit. Latching circuitry is used in static random-access memory. More complicated designs that
Why did Logic join ICE?
The albums really weren't selling huh?...
A Neuro-Symbolic Humanlike Arm Controller for Sophia the Robot
We outline the design and construction of novel robotic arms using machine perception, convolutional neural networks, and symbolic AI for logical control and affordance indexing. We describe our robotic arms built with a humanlike mechanical configur...
jason-lang/jason
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. (⭐ 245)
Unanswered Questions in the Electroweak Theory
This article is devoted to the status of the electroweak theory on the eve of experimentation at CERN's Large Hadron Collider. A compact summary of the logic and structure of the electroweak theory precedes an examination of what experimental tests...
Strict conditional - Wikipedia
In logic, a strict conditional (symbol: ◻ {\displaystyle \Box } , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of
The Final Theory of Physics - a Tautology?
We acuminate the idea of a final theory of physics in order to analyze its logical implications and consequences. It is argued that the rationale of a final theory is the principle of sufficient reason. This implies that a final theory of physics, pr...
A polynomial time λ-calculus with multithreading and side effects
The framework of Light Logics has been extensively studied to control the complexity of higher-order functional programs. We propose an extension of this framework to multithreaded programs with side effects, focusing on the case of polynomial time....
The antinomy of Mr. G{ö}del
In order to facilitate historical research in logic, we provide an english translation of a french article by Cha{ï}m Perelman, called 'L'antinomie de M. G{ö}del', published in the Bulletins de l'Acad{é}mie royale de Belgique in 1936....
Complete Identification of Deep ReLU Neural Networks by Many-Valued Logic
Deep ReLU neural networks admit nontrivial functional symmetries: vastly different architectures and parameters (weights and biases) can realize the same function. We address the complete identification problem -- given a function f, deriving the arc...
Cellular automata, many-valued logic, and deep neural networks
We develop a theory characterizing the fundamental capability of deep neural networks to learn, from evolution traces, the logical rules governing the behavior of cellular automata (CA). This is accomplished by first establishing a novel connection b...
Affaire WikiLeaks : un ancien informaticien de la CIA ... - Le Parisien
Feb 2, 2024 · Un ancien ingénieur logiciel de la Central Intelligence Agency (CIA) américaine qui avait été reconnu coupable d’avoir commis le plus grand vol d’informations classifiées de l’histoire de...