ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS

by Marcelo Fiore , Chung-kil Hur

Active Bibliography

2 Term Equational Systems and Logics (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
Algebraic Meta-Theories and . . . – Marcelo Fiore
Second-Order Equational Logic (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
3 AN EFFICIENT NOMINAL UNIFICATION ALGORITHM – Jordi Levy, Mateu Villaret
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names – Sam Staton
4 Completeness for algebraic theories of local state – Sam Staton
AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS – Marcelo Fiore
An algebraic presentation of predicate logic (extended abstract) – Sam Staton
1 Instances of computational effects: an algebraic perspective – Sam Staton
183 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
5 Nominal unification from a higher-order perspective – Jordi Levy, Mateu Villaret
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
19 Nominal rewriting – Maribel Fernández, Murdoch J. Gabbay
Mathematical Synthesis of Equational Deduction Systems – Marcelo Fiore, Chung-kil Hur
Dependent Types for a Nominal Logical Framework – Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro - 2012
Nominal Matching and Alpha-Equivalence ⋆ (Extended Abstract) – Christophe Calvès, Maribel Fernández
The lambda-calculus is nominal algebraic – Murdoch J. Gabbay, Aad Mathijssen