# On the mathematical synthesis of equational logics

@article{Fiore2011OnTM, title={On the mathematical synthesis of equational logics}, author={Marcelo P. Fiore and Chung-Kil Hur}, journal={Log. Methods Comput. Sci.}, year={2011}, volume={7} }

We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational logic for reasoning about algebraic structure with name-binding operators.

## 3 Citations

### AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS

- Mathematics
- 2013

The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the…

### I Current Research Groups 19 Iv Details 113

- Computer Science

The MPI-SWS review period covers the period May 2011 – October 2013 and presents a general overview of the goals, structure, and organization of the institute, not specific to the present review period.

## References

SHOWING 1-10 OF 24 REFERENCES

### Second-Order Equational Logic (Extended Abstract)

- MathematicsCSL
- 2010

We extend universal algebra and its equational logic from first to second order as follows.

### On the Structure of Abstract Algebras

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 1935

The following paper is a study of abstract algebras qua abstract algebras. As no vocabulary suitable for this purpose is current, I have been forced to use a number of new terms, and extend the…

### Second-Order and Dependently-Sorted Abstract Syntax

- Computer Science2008 23rd Annual IEEE Symposium on Logic in Computer Science
- 2008

The paper develops a mathematical theory in the spirit of categorical algebra that provides a model theory for second-order and dependently-sorted syntax. The theory embodies notions such as…

### Second-Order Algebraic Theories - (Extended Abstract)

- Mathematics, Computer ScienceMFCS
- 2010

The paper introduces the notion of second-order algebraic theory and develops its basic theory and gives the first formalisation of notions such as encodings and transforms in the context of languages with variable binding.

### Second-order equational logic

- MathematicsCSL 2010
- 2010

We extend universal algebra and its equational logic from first to second order as follows. 1. We consider second-order equational presentations as specified by identities between second-order terms,…

### A New Approach to Abstract Syntax with Variable Binding

- Computer ScienceFormal Aspects of Computing
- 2002

Inductively defined FM-sets involving the name-abstraction set former can correctly encode syntax modulo renaming of bound variables, and the standard theory of algebraic data types can be extended to encompass signatures involving binding operators.

### FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES.

- MathematicsProceedings of the National Academy of Sciences of the United States of America
- 1963

Equi-inclination Weissenberg photographs were taken about the a axis with filtered CuKa radiation, using the multiple film technique, and a total of 2,511 reflections were indexed, of which 2,015 were nonzero, representing about 90 per cent of the data accessible in the copper sphere.