✦ LIBER ✦

On a logic of involutive quantales

✍ Scribed by Norihiro Kamide

Publisher: John Wiley and Sons
Year: 2005
Tongue: English
Weight: 112 KB
Volume: 51
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200410049

No coin nor oath required. For personal study only.

✦ Synopsis

MSC (2000) 03B47

The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this logic is proved using a new admissible rule.

📜 SIMILAR VOLUMES

Residuated logics based on strict triang

Residuated logics based on strict triangular norms with an involutive negation

✍ Petr Cintula; Erich Peter Klement; Radko Mesiar; Mirko Navara 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB

## Abstract In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t‐norms and their dual t‐conorms. Adding an involutive negation,

Global Solvability of a Class of Involut

Global Solvability of a Class of Involutive Systems

✍ Adalberto P Bergamasco; Gerson Petronilho 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 113 KB

Rapidly involuting congenital hemangioma

Rapidly involuting congenital hemangioma: A case of complete prenatal involution

✍ Umit Aksoy Ozcan 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

## Abstract We report a case of rapidly involuting congenital hemangioma of the flank, which was diagnosed in the 2^nd^ trimester of gestation and showed complete involution before term. In our case sonography revealed a highly vascular soft tissue mass with smooth contours, which was isointense wi

On Involutive Homogeneous Varieties and

On Involutive Homogeneous Varieties and Representations of Weyl Algebras

✍ S.C. Coutinho 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 135 KB

This paper is concerned with the geometry of minimal involutive homogeneous varieties in complex affine 2n-space and its application to the study of the representation theory of the nth complex Weyl algebra A n . The main results are the existence of minimal involutive homogeneous varieties of any g

A theory of quantal sets

✍ Ugo BerniCanani; Francis Borceux; Rosanna SucciCruciani 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 883 KB

On involutions of the five sphere

✍ C.T. Yang 📂 Article 📅 1966 🏛 Elsevier Science 🌐 English ⚖ 148 KB