In this paper from 2011 we consider $\textbf{IL}_0$, the closed fragment of the basic interpretability logic $\textbf{IL}$. We show that we can translate $\textbf{GL}_1$, the one variable fragment of Gödel-Löb's provabilty logic $\textbf{GL}$, into...
We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with respect to the complexity of a given formula. The existence of such algo...
With his research on Aristotle's syllogistic, Jan Łukasiewicz (1934, 1939, 1957, 1963) initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e.,...
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut and the contraction rules. It is a universal concern to eliminate the...
Cyber security risk assessments provide a pivotal starting point towards the understanding of existing risk exposure, through which suitable mitigation strategies can be formed. Where risk is viewed as a product of threat, vulnerability, and impact,...
JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertion...
This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages 2020. The...
Current fault-tolerant quantum computer (FTQC) architectures utilize several encoding techniques to enable reliable logical operations with restricted qubit connectivity. However, such logical operations demand additional memory overhead to ensure fa...
Points: 230 | Comments: 104 | Author: DamnInteresting
Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications of smart contracts. HighGuard employs dynamic condition response (DCR)...
One of the long-standing problems on logic programming is to express {\it priority}-related operations -- default reasoning, if-then-else, cut, exception handling, etc -- in a high-level way. We argue that this problem can be solved by adopting compu...
In this paper, we devise non-distributive relatives of Exactly True Logic (ETL) by Pietz and Riveccio and its dual (NFL) Non-Falsity Logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL's and N...
Play fun logic, math and thinking games today! If you love the Coolmath Games website, you’ll love the official app with hundreds of our favorite math, logic, casual, trivia, thinking and...
The authors call attention to a previous work [Qing Lin and Bing He, Phys. Rev. A 80, 042310 (2009)] on the realization of multi-qubit logic gates with controlled-path and merging gate. We supplement the work by showing how to efficiently build reali...
I can't decide which way to go in my letters to Emily. I decided to write 3 different approaches: Coldly Logical, Raw Emotion, and Dismissive and Insulting. Coldly Logical: Emily, My lawyer has ad...
Computational Intelligence: a Logical Approach is a new textbook on artificial intelligence (AI). It covers logic, reasoning, representation, learning, probability, robotics, search, abduction, Prolog.
Découvrez comment Google Workspace peut fournir à votre entreprise des logiciels d'application d'entreprise pour améliorer la collaboration grâce à des solutions de travail hybride.
Le logiciel collaboratif de Google inclut le stockage infonuagique et le partage de fichiers, un traitement de texte en ligne, une solution de rechange à PowerPoint en ligne et les vidéoconférences.