A Type-Directed Negation Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj +6 more sources
The Nature of the Sign as a WFF—A Well-Formed Formula
AIP Conference Proceedings, 2006 Reality, both material and conceptual, exists as a complex network of continuous adaptive morphological formation. The morphological form can be analyzed as a well‐formed formula (wff), a Sign, operating as a function, f(x)=y. The triadic function develops its morphological result by connecting relations, which are encoded spatial, temporal and modal ...
Edwina Taborsky
semanticscholar +3 more sources
Translator from Japanese Sentences to Well-Formed Formulas on an Extended Predicate Logic:CONV
Transactions of the Japanese Society for Artificial Intelligence, 2012 Shunsuke Takayanagi +2 more
semanticscholar +4 more sources
Metamorphic titanite–zircon pseudomorphs after igneous zirconolite [PDF]
European Journal of Mineralogy, 2023 The formation of metamorphic zircon after baddeleyite is a well-known reaction that can be used to date the metamorphism of igneous silica-undersaturated rocks. By contrast, metamorphic minerals formed after igneous zirconolite have rarely been reported.
C. L. Urueña, C. Möller, A. Plan
doaj +1 more source
Peroxy radical chemistry and the volatility basis set [PDF]
Atmospheric Chemistry and Physics, 2020 Gas-phase autoxidation of organics can generate highly oxygenated organic molecules (HOMs) and thus increase secondary organic aerosol production and enable new-particle formation.
M. Schervish, N. M. Donahue
doaj +1 more source
Nanomaterials, 2023 Surface undulation was formed while growing InGaN/GaN multi-quantum wells on a semi-polar m-plane (1–100) sapphire substrate. Two distinct facets, parallel to 112¯2 and 011¯1, were formed in the embedded multi-quantum wells (MQWs).
Mi-Hyang Sheen +6 more
doaj +1 more source
Differences in microphysical properties of cirrus at high and mid-latitudes [PDF]
Atmospheric Chemistry and Physics, 2023 Despite their proven importance for the atmospheric radiative energy budget, the effect of cirrus on climate and the magnitude of their modification by human activity is not well quantified. Besides anthropogenic pollution sources on the ground, aviation
E. De La Torre Castro +19 more
doaj +1 more source
A study of volatility by composition, heating, and dilution measurements of secondary organic aerosol from 1,3,5-trimethylbenzene [PDF]
Atmospheric Chemistry and Physics, 2019 Studies of the volatility distribution of secondary organic aerosol (SOA) from aromatic compounds are limited compared with SOA from biogenic monoterpenes.
K. Sato +12 more
doaj +1 more source
Oxygen isotope composition of waters recorded in carbonates in strong clumped and oxygen isotopic disequilibrium [PDF]
Biogeosciences, 2020 Paleoenvironmental reconstructions, which are mainly retrieved from oxygen isotope (δ18O) and clumped isotope (Δ47) compositions of carbonate minerals, are compromised when carbonate precipitation occurs in isotopic disequilibrium.
C. Thaler +4 more
doaj +1 more source
Topological Phases in Cove-Edged and Chevron Graphene Nanoribbons: Geometric Structures, [Formula: see text]2 Invariants, and Junction States. [PDF]
Nano letters (Print), 2018 Graphene nanoribbons (GNRs) have recently been shown by Cao, Zhao, and Louie [Cao, T.; Zhao, F.; Louie, S. G. Phys. Rev. Lett. 2017, 119, 076401] to possess distinct topological phases in general, characterized by a [Formula: see text]2 invariant.
Yea-Lee Lee +4 more
semanticscholar +1 more source