Functional completeness of weak logics with the strict negation

Journal of Multiple-Valued Logic and Soft Computing

Volumn 15, Issue 1, 2009, Pages 95-99

  Chajda, Ivan ^a   Halaš, Radomír ^a  

^a PALACKÝ UNIVERSITY   (Czech Republic)

Author keywords

Functional completeness; Strict negation; Ternary discriminator; The globalization; Weak implication; Weak logic

Indexed keywords

FUNCTIONAL COMPLETENESS; STRICT NEGATION; TERNARY DISCRIMINATOR; THE GLOBALIZATION; WEAK IMPLICATION; WEAK LOGIC;

ALGEBRA;

EID: 52249092427     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (5)

1. Chajda I. and Vychodil V. A note on residuated lattices with globalization, Intern. J. Pure and Appl. Math., 27 (2006), 229-303.
2. Grätzer G. On Boolean functions (Notes on lattice theory II), Revue de Math. Pures et Appl. 7 (1962), 693-697.
3. Kaarli K. and Pixley A. F. Polynomial completeness in algebraic systems, Boca Raton, Chapman and Hall, CRC, 2000.
4. Takeuti G and Titani S. Globalization of intuitionistic set theory, Ann. Pure Appl. Logic 33 (1967), 195-211.
5. Werner H. Discriminator algebras, Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, Berlin, 1978.