Search Results - "Moshier, M. Andrew"

Some properties of conjunctivity (subfitness) in generalized settings by Andrew Moshier, M., Picado, Jorge, Pultr, Aleš

“…The property of subfitness used in point-free topology (roughly speaking) to replace the slightly stronger T 1 -separation, appeared (as disjunctivity) already…”
Get full text

Generating sublocales by subsets and relations: a tangle of adjunctions by Moshier, M. Andrew, Picado, Jorge, Pultr, Aleš

“…Generalizing the obvious representation of a subspace Y ⊆ X as a sublocale in Ω( X ) by the congruence { ( U , V ) | U ∩ Y = V ∩ Y } , one obtains the…”
Get full text

Concurrent Kleene algebra with tests and branching automata by Jipsen, Peter, Moshier, M. Andrew

Get full text

Some general aspects of exactness and strong exactness of meets by Moshier, M. Andrew, Picado, Jorge, Pultr, Aleš

“…Exact meets in a distributive lattice are the meets ⋀iai such that for all b, (⋀iai)∨b=⋀i(ai∨b); strongly exact meets in a frame are preserved by all frame…”
Get full text

Semi De Morgan Logic Properly Displayed by Greco, Giuseppe, Liang, Fei, Moshier, M. Andrew, Palmigiano, Alessandra

“…In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete,…”
Get full text

Topological duality and lattice expansions, I: A topological construction of canonical extensions by Moshier, M. Andrew, Jipsen, Peter

“…The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the…”
Get full text

Topological duality and lattice expansions, II: Lattice expansions with quasioperators by Moshier, M. Andrew, Jipsen, Peter

“…The main objective of this paper (the second of two parts) is to show that quasioperators can be dealt with smoothly in the topological duality established in…”
Get full text

A Relational Category of Birkhoff Polarities by Moshier, M. Andrew

“…Garret Birkhoff observed that any binary relation between two sets determines a Galois connection between the powersets, or equivalently, closure operators on…”
Get full text

Is HPSG Featureless or Unprincipled? by Moshier, M. Andrew

“…Head-driven phrase structure grammar (HPSG) is known as an embodiment of linguistic theory & as a logical formalism for language. It is argued that another…”
Get full text

A Rational Reconstruction of the Domain of Feature Structures by Moshier, M. Andrew

“…Feature structures are employed in various forms in many areas of linguistics. Informally, one can picture a feature structure as a sort of tree decorated with…”
Get full text

On Isbell's Density Theorem for bitopological pointfree spaces II by Moshier, M. Andrew, Carollo, Imanol Mozo, Walters-Wayland, Joanne

“…With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists,…”
Get full text

A bitopological point-free approach to compactifications by Klinke, Olaf Karl, Jung, Achim, Moshier, M. Andrew

“…We study structures called d-frames which were developed by the last two authors for a bitopological treatment of Stone duality. These structures consist of a…”
Get full text

The Domain of Set-Valued Feature Structures by Moshier, M. Andrew, Pollard, Carl J.

“…It is well-known that feature structures (Rounds and Kasper 1986) can be fruitfully viewed as forming a Scott domain (Moshier 1988). Once a linguistically…”
Get full text

On the relationship between compact regularity and Gentzen's cut rule: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott by MOSHIER, M. Andrew

Get full text

Subfitness in distributive (semi)lattices by Bezhanishvili, Guram, Madden, James, Moshier, M. Andrew, Tressl, Marcus, Walters-Wayland, Joanne

“…We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST…”
Get full text

On the relationship between compact regularity and Gentzen's cut rule by Moshier, M.Andrew

“…The patch topology on a stably compact space, generalizing the Lawson topology on a domain, is a coreflection of stably compact spaces in compact regular…”
Get full text

Sequential real number computation and recursive relations by Marcial-Romero, J. Raymundo, Moshier, M. Andrew

“…In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials…”
Get full text

Semi De Morgan logic properly displayed by Greco, Giuseppe, Liang, Fei, Moshier, M. Andrew, Palmigiano, Alessandra

“…In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete,…”
Get full text

Presenting Dcpos and Dcpo Algebras by Jung, Achim, Moshier, M. Andrew, Vickers, Steve

“…Dcpos can be presented by preorders of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their…”
Get full text

A Hofmann–Mislove theorem for bitopological spaces by Jung, Achim, Moshier, M. Andrew

Get full text