Binary logic - Wikipedia
Binary logic may refer to: Boolean logic, a two-valued formal logic Logic gates implementing Boolean logic in digital electronics Bivalent logic or two-valued
Logic (disambiguation) - Wikipedia
logic, a branch of mathematics that grew out of symbolic logic Philosophical logic, the application of formal logic to philosophical problems Logic programming
Pomset logic: the other approach to non commutativity in logic
Thirty years ago, I introduced a non-commutative variant of classical linear logic, called "pomset logic", issued from a particular categorical interpretation of linear logic known as coherence spaces. In addition to the usual commutative multiplicat...
A Brief Tour of Logic and Optimization
This paper is an informal survey of some of the deep connections between logic and optimization. It covers George Boole's probability logic, decision diagrams, logic and cutting planes, first order predicate logic, default and nonmonotonic logics, lo...
Logic Pro - Wikipedia
Notator Logic, or Logic, by German software developer C-Lab which later went by Emagic. Apple acquired Emagic in 2002 and rebranded Logic to Logic Pro, adding
A Neutral Temporal Deontic STIT Logic
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS. The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: inst...
Logic - Wikipedia
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical
Implementing the First-Order Logic of Here and There
We present automated theorem provers for the first-order logic of here and there (HT). They are based on a native sequent calculus for the logic of HT and an axiomatic embedding of the logic of HT into intuitionistic logic. The analytic proof search...
Propositional logic - Wikipedia
Propositional logic is a branch of classical logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or
Inquisitive Logic as an Epistemic Logic of Knowing How
In this paper, we present an alternative interpretation of propositional inquisitive logic as an epistemic logic of knowing how. In our setting, an inquisitive logic formula $α$ being supported by a state is formalized as "knowing how to resolve $α...
Logica - Wikipedia
both the public and private sectors. Logica was acquired by Canada-based CGI Inc in 2012 and the Logica brand name ceased being used in 2013. Logica was
Logical reloading as overcoming of crisis in geometry
Properties of the logical reloading in the Euclidean geometry are considered. The logical reloading is a logical operation which replaces one system of basic concepts of a conception by another system of basic concepts of the same conception. The log...
Opinion Update in a Subjective Logic Model for Social Networks
Subjective Logic (SL) is a logic incorporating uncertainty and opinions for agents in dynamic systems. In this work, we investigate the use of subjective logic to model opinions and belief change in social networks. In particular, we work toward the...
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reason…
ARCOE-Logic 2014, the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic, was held in co-location with the 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014) on No...
Neutrosophic Logic - Generalization of the Intuitionistic Fuzzy Logic
One generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The distinctions between IFL and NL {and the corresponding intuitionistic fuzzy set (IFS) and neutrosophic set (NS) respectively} are presented....
Intuitionistic logic - Wikipedia
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical
Complexity of the Model Checking problem for inquisitive propositional and modal logic
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the problem of deciding whether a given finite structure for the logic satisfies...
FPGA Architecture for Multi-Style Asynchronous Logic
This paper presents a novel FPGA architecture for implementing various styles of asynchronous logic. The main objective is to break the dependency between the FPGA architecture dedicated to asynchronous logic and the logic style. The innovative asp...
Category theory, logic and formal linguistics: some connections, old and new
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that i...
Glossary of logic - Wikipedia
Look up Appendix:Glossary of logic in Wiktionary, the free dictionary. This is a glossary of logic. Logic is the study of the principles of valid reasoning