Results 61 to 70 of about 74,540 (198)

Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems [PDF]

, 2010
A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience.
Baianu, Professor I.C., Georgescu, Professor George, Glazebrook, Professor James F.   +2 more
core  

Copies of classical logic in intuitionistic logic [PDF]

arXiv, 2012
Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique?
arxiv  

Characterizing Quantifier Extensions of Dependence Logic [PDF]

arXiv, 2012
We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.
arxiv  

The Core Logic Paradox [PDF]

arXiv, 2019
This paper provides a proof that Tennant's logical system entails a paradox that is called Core logic paradox, in reference to the new name given by Tennant to his intuitionistic relevant logic.
arxiv  

An Exploration of Ideals and Filters in Triangle Algebras

Axioms
In the study of algebraic structures related to logical systems, ideals and filters have different meanings and are algebraic notions related to logical provable formulas.
Euclide Noumen, Fabrice Tchoua Yinga, Blaise Blériot Koguep Njionou, Chris Cornelis   +3 more
doaj   +1 more source

A Topology Graph Algorithm Based on Lattice-Valued Logic to Solve Satisfiability Problems [PDF]

, 2022
Jieqing Tan, Yingjie Li
openalex   +1 more source

Logical rules as fractions and logics as sketches [PDF]

arXiv, 2018
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
arxiv  

Epistemic Logic with Partial Dependency Operator [PDF]

, 2019
In this paper, we introduce $\textit{partial}$ dependency modality $\mathcal{D}$ into epistemic logic so as to reason about $\textit{partial}$ dependency relationship in Kripke models. The resulted dependence epistemic logic possesses decent expressivity and beautiful properties.
arxiv   +1 more source

Dialectical logic: the Process Calculus [PDF]

Studia Scientiarum Mathematicarum Hungarica, Vol. 28, Nos. 1-2, 1993, pages 17-61 (invited paper), 2018
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to reveal the dynamical notions inherent in logical computational systems. The fundamental notions of proposition and truth-value in standard logic are subsumed by the notions of process and flow in dialectical logic.
arxiv  

Transition Semantics - The Dynamics of Dependence Logic [PDF]

arXiv, 2012
We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and Dynamic Game Logic discussed by van Benthem. This suggests a new perspective on the interpretation of
arxiv