Results 61 to 70 of about 2,869,949 (320)

A Paradox for the Existence Predicate

open access: yesBulletin of the Section of Logic, 2022
In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions.
Uwe Meixner
doaj   +1 more source

Quantal Logic vs Classical Logic [PDF]

open access: yesProgress of Theoretical Physics, 2006
Two methods for the description of physical phenomena, microscopic and macroscopic, are necessary to understand the physical world. We now have two examples. The first one is mechanical, whether classical or quantal, vs thermodynamic treatments, which are characterized by reversibility and irreversibility, respectively.
openaire   +1 more source

Merging fragments of classical logic

open access: yes, 2017
We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete.
AP Sistla   +11 more
core   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

open access: yesAdvanced 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

Neutrosophic routes in multiverse of communication [PDF]

open access: yesNeutrosophic Sets and Systems, 2014
Florentin Smarandache and Ştefan Vlăduţescu the authors and coordinators of the book “Communication Neutrosophic Routes”, published by Education Publishing, Ohio, USA, on 2014, are two remarcable professors, with many researches in neutrosophical ...
Daniela Gîfu, Mirela Teodorescu
doaj  

The empirical study of norms is just what we are missing

open access: yesFrontiers in Psychology, 2014
This paper argues that the goals people have when reasoning determine their own norms of reasoning. A radical descriptivism which avoids norms never worked for any science; nor can it work for the psychology of reasoning. Norms as we understand them are
Theodora eAchourioti   +2 more
doaj   +1 more source

Shape‐Controlled Guanine Self‐Assemblies for Stable and Fast‐Ion Solid–Electrolyte Interphases in Sustainable Li Metal Batteries

open access: yesAdvanced 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

The Temporal Logic of the Tower Chief System [PDF]

open access: yes, 1990
The purpose is to describe the logic used in the reasoning scheme employed in the Tower Chief system, a runway configuration management system. First, a review of classical logic is given.
Hazelton, Lyman R., Jr.
core   +1 more source

Redefining Therapies for Drug‐Resistant Tuberculosis: Synergistic Effects of Antimicrobial Peptides, Nanotechnology, and Computational Design

open access: yesAdvanced Healthcare Materials, EarlyView.
Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales   +11 more
wiley   +1 more source

Stone-Type Dualities for Separation Logics [PDF]

open access: yesLogical Methods in Computer Science, 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 ...
Simon Docherty, David Pym
doaj   +1 more source

Home - About - Disclaimer - Privacy