Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that in \(\textsf {CL}\) this is quite natural as all the other classical connectives are definable from \(\rightarrow \) and \(\bot \). In \(\textsf {IL}\) this is not the case, as for example neither conjunction nor disjunction can be defined from \(\rightarrow \) and \(\bot \). Still, for neatness of presentation, we commit this abuse of notation also here.
- 2.
The class of Hilbert algebras [11] is the algebraic semantics of the \(\{\rightarrow \}\)-fragment of intuitionistic logic. Hilbert algebras, also called (positive) implication(al) algebras [1, 15], correspond to \(\{\rightarrow \}\)-subreducts of Heyting algebras and thus have a definable natural order which has 1 as maximum element but need not have a minimum.
- 3.
Which is the \(\{\lnot \}\)-reduct of \(\mathbb {G}_{3}\), corresponding to three-valued Gödel logic, see [9].
- 4.
This easily follows from [5] and the fact that \(\textsf {MP}\) is weaker than \(\textsf {IL}\).
References
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.
Avron, A., and I. Lev. 2005. Non-deterministic multiple-valued structures. Journal of Logic and Computation 15: 241–261.
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.
Caleiro, C., and S. Marcelino. 2016. Decidability and complexity of fibred logics without shared connectives. Logic Journal of IGPL 24: 673–707.
Caleiro, C., S. Marcelino, and U. Rivieccio. 2018. Characterizing finite-valuedness. Fuzzy Sets and Systems 345: 113–125.
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.
Dodó, A., and J. Marcos. 2014. Negative modalities, consistency and determinedness. ENTCS 300: 21–45.
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.
Gottwald, S. 2001. A treatise on many-valued logics, vol. 9., Studies in logic and computation Baldock: Research Studies Press.
Hájek, P. 1998. Metamathematics of fuzzy logic, vol. 4., Trends in logic-studia logica library Dordrecht: Kluwer Academic Publishers.
International Journal of Mathematics and Mathematical Sciences2002. A Note on Homomorphisms of Hilbert Algebras. 29: 55–61. https://doi.org/10.1155/S0161171202011134.
Marcelino, S., and C. Caleiro. 2016. On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exw023.
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.
Marcos, J. 2009. What is a non-truth-functional logic? Studia Logica 92: 215–240.
Rasiowa, H. 1974. An algebraic approach to non-classical logics., Studies in logic and the foundations of mathematics Amsterdam: North-Holland.
Statman, R. 1979. Intuitionistic propositional logic is polynomial-space complete. Theoretical Computer Science 9: 67–72. https://doi.org/10.1016/0304-3975(79)90006-9.
Wójcicki, R. 1988. Theory of logical calculi. basic theory of consequence operations, vol. 199., Synthese library Dordrecht: Reidel.
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Marcelino, S., Caleiro, C., Rivieccio, U. (2018). Plug and Play Negations. In: Carnielli, W., Malinowski, J. (eds) Contradictions, from Consistency to Inconsistency. Trends in Logic, vol 47. Springer, Cham. https://doi.org/10.1007/978-3-319-98797-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-98797-2_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98796-5
Online ISBN: 978-3-319-98797-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)