On the Algebraization of Many-Sorted Logics

@inproceedings{Caleiro2006OnTA,
  title={On the Algebraization of Many-Sorted Logics},
  author={Carlos Caleiro and Ricardo Gonçalves},
  booktitle={WADT},
  year={2006}
}
The theory of abstract algebraic logic aims at drawing a strong bridge between logic and universal algebra, namely by generalizing the well known connection between classical propositional logic and Boolean algebras. Despite of its successfulness, the current scope of application of the theory is rather limited. Namely, logics with a many-sorted language simply fall out from its scope. Herein, we propose a way to extend the existing theory in order to deal also with many-sorted logics, by… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Algebraizable logics

W. Blok, D. Pigozzi
  • Memoirs of the AMS, 77(396),
  • 1989
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

On the theory of inconsistent formal systems

N. da Costa
  • Notre Dame Journal of Formal Logic,
  • 1974
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

A Survey of Abstract Algebraic Logic

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A taxonomy of C-systems

W. A. Carnielli, J. Marcos
  • In W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano, editors, Paraconsistency: The logical way to the inconsistent, volume 228 of Lecture Notes in Pure and Applied Mathematics, pages 1–94.
  • 2002
VIEW 1 EXCERPT

Protoalgebraic logics, volume 10 of Trends in Logic— Studia Logica Library

J. Czelakowski
  • Kluwer Academic Publishers,
  • 2001
VIEW 1 EXCERPT

A hidden agenda

  • Theor. Comput. Sci.
  • 2000
VIEW 2 EXCERPTS