Results 21 to 30 of about 4,242,976 (194)
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
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 +3 more sources
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 +1 more
openaire +2 more sources
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 +2 more
doaj +1 more source
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
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 +2 more
doaj +1 more source
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E [PDF]
, 2019 The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL].
Typańska-Czajka, Lidia
core +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
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