Zobrazeno 1 - 10
of 1 129
pro vyhledávání: '"Raftery, J"'
Autor:
Lister, F.G.A., Eccles, N., Pike, Sarah J., Brown, R.A., Whitehead, G.F.S., Raftery, J., Webb, S.J., Clayden, J.
Yes
Exploring the detailed structural features of synthetic molecules in the membrane phase requires sensitive probes of conformation. Here we describe the design, synthesis and characterization of bis(pyrene) probes that report conformational c
Exploring the detailed structural features of synthetic molecules in the membrane phase requires sensitive probes of conformation. Here we describe the design, synthesis and characterization of bis(pyrene) probes that report conformational c
Externí odkaz:
http://hdl.handle.net/10454/17686
For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of an inconsistency lemma (IL). Of special interest is the case where a qu
Externí odkaz:
http://arxiv.org/abs/2108.09168
It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone algebras, Sugih
Externí odkaz:
http://arxiv.org/abs/2107.05912
Publikováno v:
Algebra Universalis 82, 6 (2021)
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective in a vari
Externí odkaz:
http://arxiv.org/abs/1902.05011
Autor:
Moraschini, T., Raftery, J. G.
It is proved that every prevariety of algebras is categorically equivalent to a "prevariety of logic", i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in the language
Externí odkaz:
http://arxiv.org/abs/1902.04160
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called "passive str
Externí odkaz:
http://arxiv.org/abs/1902.04159
Publikováno v:
Journal of Pure and Applied Algebra, Volume 223, Issue 7, 2019, Pages 2780-2803
It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers not(e) or (ii) the union of an interval subalgebra [not(a), a] and two chains of idempotents, (not(a
Externí odkaz:
http://arxiv.org/abs/1801.06650
Publikováno v:
Studia Logica 108, 255-275 (2020)
Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Isbell, as fo
Externí odkaz:
http://arxiv.org/abs/1801.06647
Publikováno v:
The Review of Symbolic Logic 13 (2020) 338-374
The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other
Externí odkaz:
http://arxiv.org/abs/1801.06654
Current state of the art quantum computing experiments in the microwave regime use control pulses generated by modulating microwave tones with baseband signals generated by an arbitrary waveform generator (AWG). Recent advances in digital analog conv
Externí odkaz:
http://arxiv.org/abs/1703.00942