Results 31 to 40 of about 547,109 (305)
, 2017 Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing ...
DeMorgan +18 more
core +1 more source
Advanced Science, EarlyView.A quasi‐solid‐state fluoride ion battery with various practical qualities is implemented by a salt‐polymer‐ceramic composite electrolyte. β‐PbSnF4, as an active filler, can greatly improve the electrochemical stability and conductivity of the electrolyte, opening up new possibilities for cutting‐edge electrolyte design for fluoride ion batteries ...
Hong Cui +5 more
wiley +1 more source
A new process foundation for the applied topos [PDF]
, 2009 The world is in turmoil for want of sound reasoning. Economics and the environment are but two of many areas of human endeavour badly betrayed through a failed combination of physical and information science and the rule of law.
Heather, Michael, Rossiter, Nick
core
A Vernacular for Coherent Logic
, 2014 We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic.
A. Blass +16 more
core +2 more sources
Protected Chaos in a Topological Lattice
Advanced Science, EarlyView.Topological and chaotic dynamics are often considered incompatible, with one expected to dominate or disrupt the other. This work reveals that topological localization can persist even under strong chaotic dynamics and, counter‐intuitively, protect chaotic behavior.
Haydar Sahin +6 more
wiley +1 more source
On analysis in differential algebras and modules [PDF]
, 2018 A short introduction to the mathematical methods and technics of differential algebras and modules adapted to the problems of mathematical and theoretical physics is presented.
arxiv +1 more source
Weak Completeness Theorem for Propositional Linear Time Temporal Logic [PDF]
, 2012 The author is the winner of the Mizar Prize for Young Researchers in 2012 for this article.I would like to thank Prof. Dr. Stephan Merz for valuable hints which helped me to prove the theorem. I would particularly like to thank Dr.
Giero, Mariusz
core +1 more source
Mobility‐Lifetime Products in Organic Infrared Photodiodes with Peak Absorption at 1550 nm
Advanced Electronic Materials, EarlyView.This study analyzes the mobility‐lifetime products in organic infrared photodiodes with different donor‐to‐acceptor ratios to examine charge collection performance. Abstract Infrared photodiodes based on organic semiconductors are promising for low‐cost sensors that operate at room temperature. However, their realization remains hampered by poor device
Bogyeom Seo +7 more
wiley +1 more source
On the mathematical synthesis of equational logics [PDF]
Logical Methods in Computer Science, 2011 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational logic for reasoning about algebraic structure with name-binding operators.
Marcelo Fiore, Chung-Kil Hur
openaire +4 more sources
The Mathematical Universe in a Nutshell [PDF]
arXiv, 2002 The mathematical universe discussed here gives models of possible structures our physical universe can have.
arxiv