Results 21 to 30 of about 147,987 (297)

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent

Philosophia Scientiæ, 2014
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj   +1 more source

Medical diagnostics using designed molecules with sense and logic [PDF]

, 2013
Luminescent molecules responsive to cations, anions and even small molecules can be designed with the appropriate selectivity and sensitivity for monitoring physiological and pathological levels of analytes.
Magri, David C., Cardona, Mario, Farrugia, Kristina   +2 more
core   +1 more source

The Systems of Relevance Logic [PDF]

Argument, 2011
The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj  

On Pretabular Extensions of Relevance Logic

Studia Logica, 2023
AbstractWe exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom $$(p\rightarrow q)\vee (q\rightarrow p)$$ ( p
Asadollah Fallahi, James Gordon Raftery 0001   +1 more
openaire   +2 more sources

Smart Logic-in-Memory Architecture for Low-Power Non-Von Neumann Computing

IEEE Journal of the Electron Devices Society, 2020
Low-power smart devices are becoming pervasive in our world. Thus, relevant research efforts are directed to the development of innovative low power computing solutions that enable in-memory computations of logic-operations, thus avoiding the von Neumann
Tommaso Zanotti, Francesco Maria Puglisi, Paolo Pavan   +2 more
doaj   +1 more source

On Expressing and Monitoring Oscillatory Dynamics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of ...
Luboš Brim, David Šafránek, Petr Dluhoš   +2 more
doaj   +1 more source

Structural Completeness in Relevance Logics [PDF]

Studia Logica, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Raftery, James G., Swirydowicz, K.
openaire   +2 more sources

Three Misrepresentations of Logic

Informal Logic, 1999
Three misrepresentations of informal and formal logic by two feminist writers are discussed. Andrea Nye's criticism that the semantics for formal logic abstracts from context is a misrepresentation of formal logic because Nye ignores the development of ...
Brian MacPherson
doaj   +1 more source

Deducibility Implies Relevance? A Negative Answer (II) (On the Philosophical Status of Relevant Logic)

Crítica, 2018
En la primera parte de este artículo (Crítica 43) expuse las tesis filosóficas del Entailment de Anderson y Belnap (en adelante citado mediante la abreviatura ‘A & B’), donde se sostiene que no puede haber deducción (en un sentido intuitivo de la ...
Raúl Orayen
doaj   +1 more source

¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic)

Crítica, 2018
La lógica clásica (en adelante, ‘LC’), considera deductivamente válido un razonamiento como “llueve y no llueve; luego, la luna es de queso”, a pesar de que no parece haber conexión significativa entre su premisa y su conclusión. Los “lógicos relevantes”
Raúl Orayen
doaj   +1 more source