M. Andrew Moshier

20 papers B 6C 2Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dedekind-MacNeille and Related Completions: Subfitness, Regularity, and Booleanness.
Order
Guram Bezhanishvili, F. Dashiell, M. Andrew Moshier, Joanne Walters-Wayland
2021 J jnl
Semi De Morgan Logic Properly Displayed.
Stud Logica
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
2020 J jnl
Exact Filters and Joins of Closed Sublocales.
Appl. Categorical Struct.
Richard N. Ball, M. Andrew Moshier, Ales Pultr
2020 J jnl
Exact and Strongly Exact Filters.
Appl. Categorical Struct.
M. Andrew Moshier, Ales Pultr, Anna Laura Suarez
2019 J jnl
Stone Duality for Relations.
CoRR
Alexander Kurz, M. Andrew Moshier, Achim Jung
2017 C conf
Multi-type Display Calculus for Semi De Morgan Logic.
WoLLIC
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
2016 J jnl
Concurrent Kleene algebra with tests and branching automata.
J. Log. Algebraic Methods Program.
Peter Jipsen, M. Andrew Moshier
2009 B conf
A Duality Theorem for Real
CALCO
M. Andrew Moshier, Daniela Petrisan
2008 J jnl
A Hofmann-Mislove theorem for bitopological spaces.
J. Log. Algebraic Methods Program.
Achim Jung, M. Andrew Moshier
2008 B conf
Presenting Dcpos and Dcpo Algebras.
MFPS
Achim Jung, M. Andrew Moshier, Steven J. Vickers
2008 J jnl
Sequential real number computation and recursive relations.
Math. Log. Q.
José Raymundo Marcial-Romero, M. Andrew Moshier
2007 B conf
A Hofmann-Mislove theorem for Bitopological Spaces.
MFPS
Achim Jung, M. Andrew Moshier
2007 C conf
Sequential Real Number Computation and Recursive Relations.
CCA
José Raymundo Marcial-Romero, M. Andrew Moshier
2004 J jnl
On the relationship between compact regularity and Gentzen's cut rule.
Theor. Comput. Sci.
M. Andrew Moshier
2002 B conf
A Logic for Probabilities in Semantics.
CSL
M. Andrew Moshier, Achim Jung
2001 B conf
Stably Compact Spaces and Closed Relations.
MFPS
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
1999 J jnl
Multi Lingual Sequent Calculus and Coherent Spaces.
Fundam. Informaticae
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
1997 B conf
Multi lingual sequent calculus and coherent spaces.
MFPS
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
1995 J jnl
A Rational Reconstruction of the Domain of Feature Structures.
J. Log. Lang. Inf.
M. Andrew Moshier
1993 J jnl
On Completeness theorems for Feature Logics.
Ann. Math. Artif. Intell.
M. Andrew Moshier