On univocal connectives

Rodolfo Ertola

DOI: http://dx.doi.org/10.12775/LLP.2009.001

Abstract


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.

Keywords


Keywords: univocal connectives; non-classical logics

Full Text:

PDF

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.








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism