×
Compute Distance To:
Author ID: moshier.m-andrew Recent zbMATH articles by "Moshier, M. Andrew"
Published as: Moshier, M. Andrew; Moshier, M. A.

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 79 times in 67 Documents Cited by Year
Presenting dcpos and dcpo algebras. Zbl 1286.68300
Jung, Achim; Moshier, M. Andrew; Vickers, Steve
11
2008
Multi lingual sequent calculus and coherent spaces. Zbl 0935.68068
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
11
1999
Stably compact spaces and closed relations. Zbl 1260.18002
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
9
2001
Topological duality and lattice expansions. I: A topological construction of canonical extensions. Zbl 1307.06002
Moshier, M. Andrew; Jipsen, Peter
8
2014
Multi-type display calculus for semi De Morgan logic. Zbl 06820470
Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra
7
2017
A logic for probabilities in semantics. Zbl 1020.68050
Moshier, M. Andrew; Jung, Achim
7
2002
A bitopological point-free approach to compactifications. Zbl 1222.06006
Klinke, Olaf Karl; Jung, Achim; Moshier, M. Andrew
5
2011
Topological duality and lattice expansions. II: Lattice expansions with quasioperators. Zbl 1307.06003
Moshier, M. Andrew; Jipsen, Peter
5
2014
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
3
2016
A Hofmann-Mislove theorem for bitopological spaces. Zbl 1221.54036
Jung, Achim; Moshier, M. Andrew
2
2008
Exact filters and joins of closed sublocales. Zbl 1444.18018
Ball, R. N.; Moshier, M. A.; Pultr, A.
2
2020
On the relationship between compact regularity and Gentzen’s cut rule. Zbl 1058.03081
Moshier, M. Andrew
2
2004
Exact and strongly exact filters. Zbl 1461.18010
Moshier, M. A.; Pultr, A.; Suarez, A. L.
1
2020
On Isbell’s density theorem for bitopological pointfree spaces. I. Zbl 1477.06037
Moshier, M. Andrew; Mozo Carollo, Imanol; Walters-Wayland, Joanne
1
2020
Generating sublocales by subsets and relations: a tangle of adjunctions. Zbl 1420.06015
Moshier, M. Andrew; Picado, Jorge; Pultr, Aleš
1
2017
A Hofmann-Mislove theorem for bitopological spaces. Zbl 1316.54012
Jung, Achim; Moshier, M. Andrew
1
2007
A duality theorem for real \(C ^{*}\) algebras. Zbl 1239.68042
Moshier, M. Andrew; Petrişan, Daniela
1
2009
Sequential real number computation and recursive relations. Zbl 1262.03087
Marcial-Romero, J. Raymundo; Moshier, M. Andrew
1
2008
A rational reconstruction of the domain of feature structures. Zbl 0832.03015
Moshier, M. Andrew
1
1995
Exact filters and joins of closed sublocales. Zbl 1444.18018
Ball, R. N.; Moshier, M. A.; Pultr, A.
2
2020
Exact and strongly exact filters. Zbl 1461.18010
Moshier, M. A.; Pultr, A.; Suarez, A. L.
1
2020
On Isbell’s density theorem for bitopological pointfree spaces. I. Zbl 1477.06037
Moshier, M. Andrew; Mozo Carollo, Imanol; Walters-Wayland, Joanne
1
2020
Multi-type display calculus for semi De Morgan logic. Zbl 06820470
Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra
7
2017
Generating sublocales by subsets and relations: a tangle of adjunctions. Zbl 1420.06015
Moshier, M. Andrew; Picado, Jorge; Pultr, Aleš
1
2017
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
3
2016
Topological duality and lattice expansions. I: A topological construction of canonical extensions. Zbl 1307.06002
Moshier, M. Andrew; Jipsen, Peter
8
2014
Topological duality and lattice expansions. II: Lattice expansions with quasioperators. Zbl 1307.06003
Moshier, M. Andrew; Jipsen, Peter
5
2014
A bitopological point-free approach to compactifications. Zbl 1222.06006
Klinke, Olaf Karl; Jung, Achim; Moshier, M. Andrew
5
2011
A duality theorem for real \(C ^{*}\) algebras. Zbl 1239.68042
Moshier, M. Andrew; Petrişan, Daniela
1
2009
Presenting dcpos and dcpo algebras. Zbl 1286.68300
Jung, Achim; Moshier, M. Andrew; Vickers, Steve
11
2008
A Hofmann-Mislove theorem for bitopological spaces. Zbl 1221.54036
Jung, Achim; Moshier, M. Andrew
2
2008
Sequential real number computation and recursive relations. Zbl 1262.03087
Marcial-Romero, J. Raymundo; Moshier, M. Andrew
1
2008
A Hofmann-Mislove theorem for bitopological spaces. Zbl 1316.54012
Jung, Achim; Moshier, M. Andrew
1
2007
On the relationship between compact regularity and Gentzen’s cut rule. Zbl 1058.03081
Moshier, M. Andrew
2
2004
A logic for probabilities in semantics. Zbl 1020.68050
Moshier, M. Andrew; Jung, Achim
7
2002
Stably compact spaces and closed relations. Zbl 1260.18002
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
9
2001
Multi lingual sequent calculus and coherent spaces. Zbl 0935.68068
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
11
1999
A rational reconstruction of the domain of feature structures. Zbl 0832.03015
Moshier, M. Andrew
1
1995
all top 5

Cited by 83 Authors

11 Moshier, M. Andrew
7 Li, Qingguo
6 Palmigiano, Alessandra
5 Jung, Achim
5 Wang, Longchun
4 Greco, Giuseppe
4 Keimel, Klaus
3 Brunet, Paul
3 Gehrke, Mai
3 Kappé, Tobias
3 Lawson, Jimmie Don
3 Liang, Fei
3 Luttik, Bas
3 Pultr, Aleš
3 Silva, Alexandra
3 Suarez, Anna Laura
3 Zanasi, Fabio
2 Bezhanishvili, Guram
2 Bezhanishvili, Nick
2 Conradie, Willem
2 Gabelaia, David
2 González, Luciano Javier
2 Jipsen, Peter
2 Kawai, Tatsuji
2 Klinke, Olaf Karl
2 Kurz, Alexander
2 Reggio, Luca
2 Rivieccio, Umberto
2 Tzimoulis, Apostolos
2 van Gool, Samuel Jacob
2 Vickers, Steven
2 Vosmaer, Jacob
2 Walters-Wayland, Joanne
2 Wijnberg, Nachoem M.
2 Zhao, Dongsheng
1 Alvarez-Manilla, Mauricio
1 Ball, Richard N.
1 Baroni, Marian Alexandru
1 Bílková, Marta
1 Celani, Sergio Arturo
1 Chadha, Rohit
1 Chen, Yixiang
1 Cruz-Filipe, Luís
1 De Jaeger, Frédéric
1 Fan, Taihe
1 Frith, John L.
1 Frittella, Sabine
1 Goldblatt, Robert Ian
1 Guo, Lankun
1 Guttmann, Walter
1 Harding, John
1 Hartonas, Chrysafis
1 Heunen, Chris
1 Holliday, Wesley H.
1 Hötzel Escardó, Martín
1 Hounkonnou, Mahouton Norbert
1 Jakl, Tomáš
1 Jansana, Ramon
1 Jia, Xiaodong
1 Jibladze, Mamuka A.
1 Karvonen, Martti
1 Kegelmann, Mathias
1 Mahmoudi, Mojgan
1 Manoorkar, Krishna
1 Marcial-Romero, José Raymundo
1 Mateus, Paulo C.
1 Mitrović, Melanija S.
1 Moghbeli, Halimeh
1 Mozo Carollo, Imanol
1 Peterson, Clayton
1 Petrisan, Daniela Luan
1 Piazzai, Michele
1 Picado, Jorge
1 Santini, Gabriele
1 Schauerte, Anneliese
1 Sernadas, Amilcar C.
1 Spinks, Matthew
1 Velebil, Jiří
1 Venema, Yde
1 Webster, Julian
1 Wu, Huanrong
1 Zhang, Zhongxi
1 Zhou, Xiangnan

Citations by Year