Advertisement

Logica Universalis

, Volume 12, Issue 3–4, pp 341–350 | Cite as

Abstract Logical Constants

  • Tin PerkovEmail author
Article
  • 84 Downloads

Abstract

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

Keywords

Logical constants Abstract logic Logical consequence 

Mathematics Subject Classification

03C95 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)CrossRefGoogle Scholar
  2. 2.
    Bonnay, D., Westerståhl, D.: Consequence mining. J. Philos. Log. 41, 671–709 (2012)CrossRefGoogle Scholar
  3. 3.
    García Matos, M., Väänänen, J.: Abstract model theory as a framework for universal logic. In: Beziau, J.-Y. (ed.) Logica Universalis: Towards a General Theory of Logic, 2nd edn, pp. 19–33. Birkhäuser, Basel (2007)CrossRefGoogle Scholar
  4. 4.
    Shoesmith, D.J., Smiley, T.J.: Multiple-conclusion Logic. Cambridge University Press, Cambridge (1978)CrossRefGoogle Scholar
  5. 5.
    Šikić, Z.: Singular consequence relations and order relations. Grazer Math. Ber. 304, 118–127 (1989)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Faculty of Teacher EducationUniversity of ZagrebZagrebCroatia

Personalised recommendations