Results 41 to 50 of about 77,874 (289)
Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras
Mathematics, 2020 The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic).
Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
doaj +1 more source
, 2017 The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of ...
Schang, Fabien
core
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
Logical space and the origins of pluralism in logic
Acta Universitatis Carolinae Philosophica et Historica, 2017 The fact that there is a plurality of systems that we call logics makes it requisite to attempt an explanation and thorough evaluation of the role of logic.
Pavel Arazim
doaj +1 more source
Stone-Type Dualities for Separation Logics [PDF]
, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Docherty, Simon, Pym, David
core +2 more sources
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
Advanced Functional Materials, EarlyView.The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang +9 more
wiley +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source
Conditions of applicability of classical logic to philosophical reasoning
RUDN Journal of Philosophy, 2018 . The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
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