Behavioral Algebraization of Logics

@article{Caleiro2009BehavioralAO,
  title={Behavioral Algebraization of Logics},
  author={Carlos Caleiro and Ricardo Gonçalves and Manuel A. Martins},
  journal={Studia Logica},
  year={2009},
  volume={91},
  pages={63-111}
}
We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

Categorical Abstract Algebraic Logic: Behavioral π-Institutions

  • Studia Logica
  • 2014
VIEW 10 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

Abstract Valuation Semantics

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards a Behavioral Algebraic Theory of Logical Valuations

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Algebraic Valuations as Behavioral Logical Matrices

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Behavioral algebraization of da Costa's C-systems

  • Journal of Applied Non-Classical Logics
  • 2009
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

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

Algebraizable logics

W. Blok, D. Pigozzi
  • Memoirs of the AMS,
  • 1989
VIEW 12 EXCERPTS
HIGHLY INFLUENTIAL

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

J. Czelakowski
  • Kluwer Academic Publishers,
  • 2001
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

On the theory of inconsistent formal systems

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

Constructible falsity

D. Nelson
  • J. Symbolic Logic,
  • 1949
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL