Plug and Play Negations

  • Sérgio MarcelinoEmail author
  • Carlos Caleiro
  • Umberto Rivieccio
Part of the Trends in Logic book series (TREN, volume 47)


We study an array of logics defined on a small set of connectives (including an implication \(\rightarrow \) and a bottom particle \(\bot \)) by modularly considering subsets of a set of inference rules that we fix at the start of the game. We provide complete semantics based on possibly non-deterministic logical matrices and complexity upper bounds for the considered logics. As a consequence of the techniques applied, we also obtain completeness results for the negation-only fragments (obtained by defining the negation connective as \(\lnot p:=p\rightarrow \bot \), as usual) of all the above-mentioned logics, and analyze their possible paraconsistent character.



The first two authors thank the support of the FEDER/FCT project PEst-OE/EEI/LA0008/2013 of Instituto de Telecomunicações. The first author also acknowledges the FCT postdoctoral grant SFRH/BPD/76513/2011. Finally, we would like to thank Fey Liang for pointing out a deadly mistake in an earlier version of the paper.


  1. 1.
    Abbott, J.C. 1967. Implicational algebras. Bulletin Math\(\acute{e}\)matique de la Soci\(\acute{e}\)t\(\acute{e}\)des Sciences Math\(\acute{e}\)matiques de la R\(\acute{e}\)publique Socialiste de Roumanie 11: 3–23.Google Scholar
  2. 2.
    Avron, A., and I. Lev. 2005. Non-deterministic multiple-valued structures. Journal of Logic and Computation 15: 241–261.CrossRefGoogle Scholar
  3. 3.
    Avron, A., and A. Zamansky. 2011. Non-deterministic semantics for logical systems. In Handbook of philosophical logic, vol. 16, 2nd ed, ed. D.M. Gabbay, and F. Guenthner, 227–304. Heidelberg: Springer.Google Scholar
  4. 4.
    Caleiro, C., and S. Marcelino. 2016. Decidability and complexity of fibred logics without shared connectives. Logic Journal of IGPL 24: 673–707.CrossRefGoogle Scholar
  5. 5.
    Caleiro, C., S. Marcelino, and U. Rivieccio. 2018. Characterizing finite-valuedness. Fuzzy Sets and Systems 345: 113–125.CrossRefGoogle Scholar
  6. 6.
    Carnielli, W., and J. Marcos. 2002. A taxonomy of c-systems. In The logical way to the inconsistent, ed. M. Coniglio, W. Carnielli, and I.M. D’Ottaviano, 1–94. Baco Raton: CRC Press.Google Scholar
  7. 7.
    Dodó, A., and J. Marcos. 2014. Negative modalities, consistency and determinedness. ENTCS 300: 21–45.CrossRefGoogle Scholar
  8. 8.
    Galatos, N., P. Jipsen, T. Kowalski, and H. Ono. 2007. Residuated lattices: an algebraic glimpse at substructural logics, vol. 151., Studies in logic and the foundations of mathematics Amsterdam: Elsevier.Google Scholar
  9. 9.
    Gottwald, S. 2001. A treatise on many-valued logics, vol. 9., Studies in logic and computation Baldock: Research Studies Press.Google Scholar
  10. 10.
    Hájek, P. 1998. Metamathematics of fuzzy logic, vol. 4., Trends in logic-studia logica library Dordrecht: Kluwer Academic Publishers.CrossRefGoogle Scholar
  11. 11.
    International Journal of Mathematics and Mathematical Sciences2002. A Note on Homomorphisms of Hilbert Algebras. 29: 55–61. Scholar
  12. 12.
    Marcelino, S., and C. Caleiro. 2016. On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Journal of Logic and Computation.
  13. 13.
    Marcelino, S., and C. Caleiro. 2017. Disjoint fibring of non-deterministic matrices. In Logic, language, information, and computation, ed. J. Kennedy, and R. de Queiroz, 242–255. Heidelberg: Springer.CrossRefGoogle Scholar
  14. 14.
    Marcos, J. 2009. What is a non-truth-functional logic? Studia Logica 92: 215–240.CrossRefGoogle Scholar
  15. 15.
    Rasiowa, H. 1974. An algebraic approach to non-classical logics., Studies in logic and the foundations of mathematics Amsterdam: North-Holland.CrossRefGoogle Scholar
  16. 16.
    Statman, R. 1979. Intuitionistic propositional logic is polynomial-space complete. Theoretical Computer Science 9: 67–72. Scholar
  17. 17.
    Wójcicki, R. 1988. Theory of logical calculi. basic theory of consequence operations, vol. 199., Synthese library Dordrecht: Reidel.Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Sérgio Marcelino
    • 1
    Email author
  • Carlos Caleiro
    • 1
  • Umberto Rivieccio
    • 2
  1. 1.SQIG - Instituto de Telecomunicações, Dep. Matemática – Instituto Superior TécnicoUniv. LisboaLisboaPortugal
  2. 2.Dep. Informática e Matemática AplicadaUniv. Federal do Rio Grande do NorteNatalBrazil

Personalised recommendations