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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. Andrew Moshier