On univocal connectives
DOI:
https://doi.org/10.12775/LLP.2009.001Keywords
Keywords, univocal connectives, non-classical logicsAbstract
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.References
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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 399
Number of citations: 0