Results 81 to 90 of about 11,095,469 (278)

Models & Proofs: LFIs Without a Canonical Interpretations

Principia: An International Journal of Epistemology, 2018
In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj   +1 more source

Chemical Strategies for Multistimuli Responsive Dynamic Covalent Materials in Regenerative Medicine

Advanced Healthcare Materials, EarlyView.
Multistimuli responsive dynamic covalent materials integrate reversible chemistry with the complex chemical, mechanical, and biochemical cues of regenerative environments. This review highlights chemical strategies based on orthogonal dynamic bonds, multicomponent networks, and hierarchical architectures to regulate mechanics, degradation, and ...
Saurabh Joshi, Matthew B. Baker, Dominik Schauenburg   +2 more
wiley   +1 more source

Unification and passive inference rules for modal logics

, 2000
We 1 study unification of formulas in modal logics and consider logics which are equivolent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. uniilcation via existence or persistent formulas.
Terziler M., Rybakov V.V., Gencer C.
core   +2 more sources

Truth as a Mathematical Object

Principia: An International Journal of Epistemology, 2010
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj  

Axiomatic of Fuzzy Complex Numbers

Axioms, 2012
Fuzzy numbers are fuzzy subsets of the set of real numbers satisfying some additional conditions. Fuzzy numbers allow us to model very difficult uncertainties in a very easy way.
Angel Garrido
doaj   +1 more source

Skolem Functions in Non-Classical Logics

The Australasian Journal of Logic, 2017
This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability.
openaire   +3 more sources

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

Manuscrito, 2011
The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Validity of the laws of Non-contradiction and Excluded middle; Logical or Psychological (Review of misunderstandings and misinterpretations, self-made accusations and types of fallacies in a criticism) [PDF]

حکمت معاصر
In Classical Logic, the law of non-contradiction and the law of excluded middle are considered theorems and have proof. Recently, Morteza Hajihosseini has written a book titled Two Non-Classical Logic Systems, A New Outlook on Elements of Logic (2017 ...
Morteza Hajihosseini, Mohammad Hossein Esfandiari   +1 more
doaj   +1 more source