This is a companion to a paper by the authors entitled "Gödel's natural deduction", which presented and made comments about the natural deduction system in Gödel's unpublished notes for the elementary logic course he gave at the University of Notre...
Points: 320 | Comments: 68 | Author: msephton
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word problem for star-autonomous categories. Previous work has shown the pr...
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreo...
Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that "the larger the number of behaviors, the better". Therefore,...
We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also derive some...
In the present work I introduce a semantics based on the cognitive attitudes of acception and rejection entertained by a given society of agents for logics inspired on Dunn and Belnap's First Degree Entailment ($\mathbf{E}$). In contrast to the epist...
first duty is to make a white man out of him." He also stated, "The Indian is a natural warrior, a natural logician, a natural artist. We have room for all
The quantum theory of Ur-alternatives of Carl Friedrich von Weizsaecker tries to constitute general quantum theory based on the concept of logical alternatives in time. Based on this interpretation of quantum theory the existence of free objects in s...
sub-types (i.e. computer viruses, worms, Trojan horses, logic bombs, ransomware, spyware, adware, rogue software, wipers and keyloggers). Malware poses
Points: 5 | Comments: 0 | Author: dvfjsdhgfv
Points: 78 | Comments: 27 | Author: danso
Logic-less and semantic Mustache templates with Java (⭐ 1544)
We review an approach to fault-tolerant holonomic quantum computation on stabilizer codes. We explain its workings as based on adiabatic dragging of the subsystem containing the logical information around suitable loops along which the information re...
The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction sof...
Blockchain and AI are on just about every chief information officers watchlist of game-changing technologies that stand to reshape industries. Both technologies come with immense benefits, but both also bring their own challenges for adoption. It is also fair to say that the hype…
Previous studies have shown that many users do not use effective data deletion techniques upon sale or surrender of storage devices. A logical assumption is that many users are still confused concerning proper sanitization techniques of devices upon...
knowledge and the origin of morality. Biegański described his views as previsit. His greatest philosophical works are: The Principles of General Logic
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "co...
When we say "I know why he was late", we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of "knowing why" inspired by the existing formal studies on why-questions, scientific explanation,...