Results 31 to 40 of about 26,770 (264)
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Компьютерная оптика, 2021 The article is dedicated to the search for a biologically motivated mechanism of the cognitive phenomenon of violation of the classical formula of total probability for the disjunction of incompatible events, which is considered by a number of ...
A.V. Pavlov
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
LOGICS, INTERPRETATIONS AND INFORMAL RIGOR [PDF]
KriterionThe development of non-classical logics brought to light the question of their philosophical interpretation. Given a non-classical logic L, what is the informal/philosophical interpretation of its vocabulary? We find in the literature arguments defending
Edson Bezerra
doaj +1 more source
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Separation Logic is a non-classical logic used to verify pointer-intensive code. In this paper, however, we show that Separation Logic, along with its natural extensions, can also be used as a specification language for concurrent-system design. To do so,
Edgar G. Daylight +2 more
doaj +1 more source
Bulletin of the Section of Logic, 2021 Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced ...
Ravikumar Bandaru +2 more
doaj +1 more source
Non-Classical Logics in Satisfiability Modulo Theories
, 2023 AbstractWe show that tableau methods for satisfiability in non-classical logics can be supported naturally in SMT solving via the framework of user-propagators. By way of demonstration, we implement the description logic $$\mathcal {ALC}$$ in the Z3 SMT solver and show that working with user-propagators allows us to significantly outperform encodings ...
Clemens Eisenhofer +3 more
openaire +1 more source
Electroactive Liquid Crystal Elastomers as Soft Actuators
Advanced Functional Materials, EarlyView.Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley +1 more source
Computer Sciences & Mathematics Forum, 2023 The purpose of this paper is to revisit the concepts of a third in logic and philosophy that have existed since antiquity, widely separated in time and space, but expressing what we consider a higher level of understanding, without going outside the ...
Joseph Brenner, Zhensong Wang
doaj +1 more source
Is Transparent Intensional Logic a non-classical logic?
Logic and Logical Philosophy, 2013 It is shown that:(a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not;(b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with non-classical logics;(c) TIL is highly expressive due to its hyperintensionality ...
openaire +3 more sources