On univocal connectives
KeywordsKeywords, univocal connectives, non-classical logics
AbstractWe 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.
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.
How to Cite
Number of views and downloads: 27
Number of citations: 0