In this paper, we have established bi-approximation semantics for lattice-based logics with the De Morgan negation (unbounded orthologic), and their morphisms. In addition, we have discussed the dual representation between unbounded ortholattices with strict homomorphisms and polarity frames and d-morphisms. Apart from the abstract construction of dual algebras in the series of the present auth...

I am astonished at Lewis Wolpert’s claim that all the big principles in biology are understood — especially in developmental biology. If one knew all the principles then new facts would simply slot into their expected places, as they do in any well understood aspect of physics. But in all areas of biology bewildering new facts are discovered at an increasing rate. I frankly do not believe that ...

search for Dr Morgan David Enoch brings up an intriguing set of results. These range from a BBC article, ‘Spotting the Royal stalkers’, a BMJ case report on ‘Exorcism for schizophrenia’ and Ian McEwan’s Enduring Love, to Mersey Regional Health Authority’s implementation of care in the community and books, including I Want a Christian Psychiatrist and Uncommon Psychiatric Syndromes: now out of p...

a Dept. of Agricultural and Resource Economics, University of Tennessee, 321 Morgan Hall, Knoxville, TN 37996-4518, USA b USDA, Economic Research Service, 1800 M St. NW, Washington, D.C., 20036-5831, USA c Dept. of Agricultural Economics, Purdue University, 403 W. State Street, West Lafayette, IN 47907-2056, USA d Dept. of Spatial Economics, VU University Amsterdam, De Boelelaan 1105, 1081 HV A...

We present the basic analytical and algebraic properties of triangular norms. We discuss continuity as well as the important classes of Archimedean, strict and nilpotent t-norms. Triangular conorms and De Morgan triples are also mentioned. Finally, a brief historical survey on triangular norms is given. Submitted for publication Johannes Kepler Universität Linz Fuzzy Logic Laboratorium Linz-Hag...

We take a fresh look at the geometrization of logic using recently developed tools “quantum Riemannian geometry” applied in digital case over field $\mathbb{F}\_2={0,1}$, extending de Morgan duality to this context differential forms and connections. The $1$-forms correspond graphs exterior derivative subset amounts arrows that cross between set its complement. line graph $0-1-2$ has non-flat b...

Let us consider the algebra H-B-M , where is a distributive lattice, is a H-algebra (Heyting algebra), is a B-algebra (Brouwer algebra), < A, 0, 1,∨,∧,⇒, −̇ > is HB-algebra (semi-Boolean algebra) [10], is a de Morgan algebra, < A, 0, 1,∨,∧,⇒,∼> is a symmetrical Heyting algebra [5] and, respectively is a symmetr...