In this paper, we discuss a version of discussive logic determined by a certain variant of Jaśkowski’s original model of discussion. The obtained system can be treated as the minimal discussive logic. It is determined by frames with serial acce...
All tokamaks are designed to withstand a certain number of energetic electromagnetic (EM) transients caused by uncontrolled terminations of plasma pulses, including symmetric and asymmetric plasma vertical displacement events: VDEs and AVDEs. These e...
In recent years, the focus in safety management has shifted from failure-based analysis towards a more systemic perspective, redefining a successful or failed performance as a complex and emergent event rather than as a conclusion of singular errors...
The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties. The
Spintronics, utilizing both the charge and spin of electrons, benefits from the nonvolatility, low switching energy, and collective behavior of magnetization. These properties allow the development of magnetoresistive random access memories, with mag...
In this paper we explain the different meanings of the word “logic” and the circumstances in which it makes sense to use its singular or plural form. We discuss the multiplicity of logical systems and the possibility of developing a unify...
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic hi...
Conscious and unconscious brain mechanisms, including cognition, emotions and language are considered in this review. The fundamental mechanisms of cognition include interactions between bottom-up and top-down signals. The modeling of these interacti...
This article discusses the relationship between Ludwig Wittgenstein’s and Rudolf Carnap’s philosophies of logic during the time of Wittgenstein’s interactions with the Vienna Circle and up to 1934 when the German edition of Carnap&r...
The article discusses Nicholas Wolterstorff’s explanations for the flourishing of philosophical theology in analytic philosophy by taking Arthur Norman Prior’s (1914–1969) development of tense-logic into account. Prior’s work...
Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams...
Carbon dots (CDs)-based logic gates are smart nanoprobes that can respond to various analytes such as metal cations, anions, amino acids, pesticides, antioxidants, etc. Most of these logic gates are based on fluorescence techniques because they are i...
Most contemporary discussions of the problem of evil assume that “logical” formulations of the problem are untenable, and that we should operate with “evidential” formulations instead. I argue that this consensus is founded on a mistake and that ther...
Logics of Formal Inconsistency (
This paper focuses on the mean square exponential stability of stochastic delay differential systems with logic impulses. Firstly, a class of nonlinear stochastic delay differential systems with logic impulses is constructed. Then, the logic impulses...
Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlog...
Transfer theorems for combined logics provide essential tools and insight for reasoning about complex logical systems. In this paper, we present the first sufficient criterion (contextual extensibility) for decidability to be preserved through combin...
The rapid progress in the field of fluorescent probes and fluorescent sensing material extended this research area toward more complex molecular logic gates capable of carrying out a variety of sensing functions simultaneously. These molecules are ab...
Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the prop...
This paper discusses current formulations based on fuzzy-logic control concepts as applied to the removal of impulsive noise from digital images. We also discuss the various principles related to fuzzy-ruled based logic control techniques, aiming at...
While in his Science of Logic, Hegel employed neither diagrams nor formulae, his reinterpretation of Aristotle’s syllogistic logic in the “Subjective Logic” of Book III strongly suggests a diagrammatic dimension. Significantly, an early diagram depic...
The essential structure of derivations is used as a tool for measuring the complexity of schema consequences in propositional-based logics. Our schema derivations allow the use of schema lemmas and this is reflected on the schema complexity. In parti...
We study deduction systems for the weakest, extensional and two-valued non-Fregean propositional logic
An optimised logical topology facilitates the sensors of a network to communicate with each other with little overheads, lower energy consumption, and reduced latency. It also lengthens the lifetime of the network, provides scalability, and increases...
This paper discusses an automatic parking control method based on the combination of the sliding mode variable structure control (SMVSC) and fuzzy logical control. SMVSC is applied to drive the vehicle from a random initial position and pose, to the...
This paper presents, within an arable farming context, a predictive logic for the on- and off-switching of a set of nozzles. The predictive logic is tailored to a specific path planning pattern. The nozzles are assumed to be attached to a boom aligne...
Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5). Secondly, by emplo...
Logic and game theory have had a few decades of contacts by now, with the classical results of epistemic game theory as major high-lights. In this paper, we emphasize a recent new perspective toward “logical dynamics”, designing logical systems that...
We present a rational introduction to the logical processes that govern, how tokens in a sequence—the DNA—determine the assembly of commutative tokens—the cell’s constituents—in a quasi-bijective way. We discuss the relation of sequences to commutati...
Quantum logic is a well-structured theory, which has recently received some attention because of its fundamental relation to quantum computing. However, the complex foundation of quantum logic borrowing concepts from different branches of mathematics...
In this paper, it is examined how, if at all, the logical laws can be normative for human reasoning, wherein the notion of normativity is analyzed primarily with respect to Wittgenstein’s philosophy. During the ancient and the medieval periods, logic...
7 October 2019
This paper extends resource dependence logic by investigating the antecedents of technological diversification and further identifies its boundary condition. We argue that this resource dependence logic is bound by state ownership through coalitions...
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-s...
Collaborative robots (cobots) play a crucial role in modern industry by ensuring safe and efficient human–robot interaction. However, traditional control methods struggle with uncertainty handling and adaptability to dynamic environments. This...
To the best of my knowledge; no one has ever exploited the relationship between Democracy and Education and Dewey’s logical theory as presented in these other works. Doing so not only lends textual evidence to the important relationship between Dewey...
The procurement of goods is considered a critical part in supply chain management, and it often has several unprecedented barriers leading to failure of the project. Uncertainties in availability, cost and demand-supply matching combined with stringe...
DNA bio-computing is an emerging trend in modern science that is based on interactions among biomolecules. Special types of DNAs are aptamers that are capable of selectively forming complexes with target compounds. This review is devoted to a discuss...
This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontolo...
The last decade has brought the transport sector to the forefront of discussions on sustainability and digital innovations: practitioners, researchers, and regulators alike have witnessed the emergence of a wide diversity of shared mobility services....
Recently, historians have discussed the relevance of the nineteenth-century mathematical discipline of projective geometry for early modern classical logic in relation to possible solutions to semantic problems facing it. In this paper, I consider He...
Together with the disruptive development of modern sub-symbolic approaches to artificial intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more and more researchers exploit their potential to make AI more comprehensib...
In this article we present two logics of water efficiency: that of the Water Footprint and that of mango smallholder farmers on the desert coast of Peru (in Motupe). We do so in order to explore how both can learn from each other and to discuss what...
Social entrepreneurship is a paradoxical phenomenon wherein seemingly incompatible elements such as business and social logics coexist. Previous research has been insufficient to systematically describe how social entrepreneurship organizations (SEO)...
We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic pro...
I will briefly discuss the history of research-related projects that Mark Burgin and I worked on together. I will then discuss our joint research related to the circle of sense and nonsense. One paper was entitled In a search for deeper meanings: nav...
This paper shows new card-based cryptographic protocols with the minimum number of rounds, using private operations under the semi-honest model. Physical cards are used in card-based cryptographic protocols instead of computers to achieve secure mult...
As a significant contributor to carbon emissions, global logistics companies are under scrutiny from various stakeholders, and respond by disclosing carbon-related information in the form of carbon reports. Carbon disclosure is, however, a mainly vol...
Logics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”. In particular,...
This paper discusses concepts of self-organized complexity and the theory of Coherent Infomax in the light of Jaynes’s probability theory. Coherent Infomax, shows, in principle, how adaptively self-organized complexity can be preserved and improved b...
This paper explores how insights from the philosophy of collective agency can inform the development of coalition logic, focusing particularly on the conceptual distinctions among intentionality, preference, and coalitional power as foundational elem...
of 20