M. Andrew Moshier

According to our database, M. Andrew Moshier authored at least 3 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Multi-type Display Calculus for Semi De Morgan Logic.

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Proceedings of the Logic, Language, Information, and Computation, 2017

2009

A Duality Theorem for Real <i>C</i>^* Algebras.

M. Andrew Moshier, Daniela Petrisan

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2002

A Logic for Probabilities in Semantics.

M. Andrew Moshier, Achim Jung

Proceedings of the Computer Science Logic, 16th International Workshop, 2002