M. Andrew Moshier

Available identifiers

zbMath Open moshier.m-andrewMaRDI QIDQ299204

List of research outcomes

Publication	Date of Publication	Type
Some properties of conjunctivity (subfitness) in generalized settings	2023-11-16	Paper
Some general aspects of exactness and strong exactness of meets	2022-02-25	Paper
Exact and strongly exact filters	2021-05-11	Paper
Semi De Morgan logic properly displayed	2021-04-27	Paper
Exact filters and joins of closed sublocales	2020-09-10	Paper
On Isbell's density theorem for bitopological pointfree spaces. I	2020-04-06	Paper
Lindelöf tightness and the Dedekind-MacNeille completion of a regular σ-frame	2019-10-15	Paper
Semi De Morgan logic properly displayed	2018-09-20	Paper
Multi-type display calculus for semi De Morgan logic	2017-12-20	Paper
Generating sublocales by subsets and relations: a tangle of adjunctions	2017-10-09	Paper
Concurrent Kleene algebra with tests and branching automata	2016-06-22	Paper
A Hofmann-Mislove theorem for Bitopological Spaces	2015-07-10	Paper
Topological duality and lattice expansions. II: Lattice expansions with quasioperators.	2014-05-23	Paper
Presenting Dcpos and Dcpo Algebras	2014-05-13	Paper
Topological duality and lattice expansions. I: A topological construction of canonical extensions.	2014-05-08	Paper
Sequential Real Number Computation and Recursive Relations	2013-05-03	Paper
Stably Compact Spaces and Closed Relations	2013-04-26	Paper
A Duality Theorem for Real C * Algebras	2012-06-01	Paper
A bitopological point-free approach to compactifications	2011-08-04	Paper
Sequential real number computation and recursive relations	2008-10-08	Paper
A Hofmann-Mislove theorem for bitopological spaces	2008-09-01	Paper
On the relationship between compact regularity and Gentzen's cut rule	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4411825	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4511292	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4265614	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4222892	1998-12-20	Paper
On completeness theorems for feature logics	1997-05-12	Paper
A rational reconstruction of the domain of feature structures	1995-12-05	Paper
Subfitness in distributive (semi)lattices	N/A	Paper

Research outcomes over time

This page was built for person: M. Andrew Moshier