On univocal connectives
DOI:
https://doi.org/10.12775/LLP.2009.001Słowa kluczowe
Keywords, univocal connectives, non-classical logicsAbstrakt
We pay attention to the concept of univocal connective. Considering the corresponding definition in the context of the sequent calculus a problem arises in a paper by Belnap. We provide an explanation by Belnap and finally give some examples and non-examples of univocal connectives.Bibliografia
Belnap, N.D., “Tonk, plonk and plink”, Analysis 22 (1962): 130–134.
Caicedo, X., and R. Cignoli, “An algebraic approach to intuitionistic connectives”, The Journal of Symbolic Logic 66 (2001): 1620–1636.
Curry, H.B., Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
Ertola, R., “On some operations using the min operator”, accepted for publication in The Many Sides of Logic, Studies in Logic Series, College Publications, London, 2009.
Gabbay, D.M., “On some new intuitionistic propositional connectives. I”, Studia Logica 36 (1977): 127–139.
Humberstone, L., “The pleasures of anticipation: Enriching Intuitionistic Logic”, Journal of Philosophical Logic 30 (2001): 395–438.
Sette, A., “On the propositional calculus P 1 ”, Mathematica Japonicae 16 (1973): 173–180.
Smetanich, Y.S., “On the completeness of a propositional calculus with a supplementary operation in one variable”, Tr. Mosk. Mat. Obsch. 9 (1960): 357–371.
Yashin, A.D., “The Smetanich logic T Φ and two definitions of a new intuitionistic connective”, Mathematical Notes 56 (1994): 745–750.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 642
Liczba cytowań: 0
