swannodette/logic-tutorial
A Very Gentle Introduction to Relational Programming (⭐ 938)
AND gate - Wikipedia
The AND gate is a basic digital logic gate that implements the logical conjunction (∧) from mathematical logic – AND gates behave according to their truth
An Optimal Heuristic for Sum of All Prime Numbers Logic for Large Inputs using RAPTOR
An optimal heuristic logic is an effective method for finding the sum of all prime numbers up to a given number. This paper presents different approaches, namely, general method and optimal method which facilitate to compare the results and draw the...
Logic Blog 2011
This year's logic blog has focussed on: 1. Demuth randomness 2. traceability 3. The connection of computable analysis and randomness 4. $K$-triviality in metric spaces....
Quantum-Logic Gate between Two Optical Photons with an Average Efficiency above 40%
Optical qubits uniquely combine information transfer in optical fibers with a good processing capability and are therefore attractive tools for quantum technologies. A large challenge, however, is to overcome the low efficiency of two-qubit logic gat...
Simple example of weak modal logic based on intuitionistic core
In this paper we present simple example of propositional logic which has one modal operator and is based on intuitionistic core. This system is very weak in modal sense - e.g. rules of regularity or monotonicity do not hold. It has complete semantics...
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
We produce a decidable super-intuitionistic normal modal logic of internalised intuitionistic (and thus disjunctive and monotonic) interactive proofs (LIiP) from an existing classical counterpart of classical monotonic non-disjunctive interactive pro...
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined form...
Linear logic - Wikipedia
by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive
Carnap's problem for intuitionistic propositional logic
We show that intuitionistic propositional logic is \emph{Carnap categorical}: the only interpretation of the connectives consistent with the intuitionistic consequence relation is the standard interpretation. This holds relative to the most well-know...
Intuitionistic Logic > Classical Logic
...
Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems
This study focuses on improving the performance of lightweight Large Language Models (LLMs) in mathematical reasoning tasks. We introduce a novel method for measuring mathematical logic similarity and design an automatic screening mechanism to constr...
Reverse Engineering and Symbolic Knowledge Extraction on Łukasiewicz Fuzzy Logics using Li…
This work describes a methodology to combine logic-based systems and connectionist systems. Our approach uses finite truth valued Łukasiewicz logic, where we take advantage of fact what in this type of logics every connective can be define by a neur...
Properties of Input-Consuming Derivations
We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consi...
Proceedings of the 11th workshop on Quantum Physics and Logic
This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan. The goal of the QPL workshop series is to bring toget...
Does Singer’s ship break the logic of dark forest?
The logic of the first strike strategy is that if I shoot first, they won’t get a chance to respond. The ability to conduct a strike from a ship away from the home system(s) means knocking out the ...
Ejercicios de lógica de programación en PSeInt - GitHub
Feb 7, 2026 · Este repositorio contiene ejercicios básicos de lógica de programación escritos en pseudocódigo usando PSeInt. Nace como parte de mi proceso de aprendizaje y está pensado para …
Moore's Paradox and the logic of belief
Moores Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offe...
A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Pais…
Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java...
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended V…
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can write that logic as Cedar policies and delegate access decisions to Ceda...