Results 41 to 50 of about 1,985 (241)

Meeting Hintikka's Challenge to Paraconsistentism

open access: yesPrincipia: An International Journal of Epistemology, 2009
Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar.
Walter Carnielli
doaj  

Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency [PDF]

open access: yes, 2016
Paradefinite (`beyond the definite') logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete.
Avron, Arnon, Arieli, Ofer
core   +1 more source

Beyond Potency: Emerging Determinants and Optimization Strategies Enhancing Therapeutic Efficacy of Adult Stem Cells

open access: yesAdvanced Science, EarlyView.
Adult stem cell therapy requires more than high in vitro potency. This review proposes a systems framework in which cell‐intrinsic programs, instructive microenvironmental cues, and pre‐/post‐delivery engineering are co‐designed under standardized translational rules.
Soo‐Rim Kim   +2 more
wiley   +1 more source

A Paraconsistentist Approach to Chisholm's Paradox

open access: yesPrincipia: An International Journal of Epistemology, 2009
The Logics of Deontic (In)Consistency (LDI’s) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency.
Marcelo Esteban Coniglio   +1 more
doaj  

The Logic of Trust [PDF]

open access: yes, 2012
This thesis addresses two problems of trust: 1. Knowledge on Trust: If we are provided with information by a variety of individuals, whom we trust to different degrees, what is the best overall theory we can form from the information we are given ...
Harwood, William
core  

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

open access: yesAdvanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Paraconsistency properties in degree-preserving fuzzy logics

open access: yes, 2015
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Godo L.   +4 more
core   +3 more sources

Logics of formal inconsistency [PDF]

open access: yes, 2018
Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. CaleiroTexto em ingles e portuguesTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasTese (doutorado) - Universidade Tecnica de Lisboa, Instituto ...
Almeida, João Marcos de
core  

A Compendium of Logic Gates Based on Reconfigurable Three‐Independent‐Gate Transistors Realized in FDSOI Hardware

open access: yesAdvanced Electronic Materials, EarlyView.
This work electrically characterizes sixteen logic gates built from three‐independent‐gate reconfigurable transistors fabricated on full‐scale 300 mm wafers using the industrial 22 nm fully depleted FDSOI process of GlobalFoundries. Static and time‐resolved measurements confirm correct operation, including a 1‐bit adder and reconfigurable AOI/OAI ...
Juan P. Martinez   +12 more
wiley   +1 more source

On the philosophical motivations for the logics of formal consistency and inconsistency [PDF]

open access: yes
We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the
Carnielli, Walter, Abilio, Rodrigues
core   +1 more source

Home - About - Disclaimer - Privacy