Binary closure-algebraic operations that are functionally complete

Notre Dame Journal of Formal Logic 11 (3):340-342 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Binary connectives functionally complete by themselves in s5 modal logic.Gerald J. Massey - 1967 - Journal of Symbolic Logic 32 (1):91-92.
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
Defining (reflexive) transitive closure on finite models.Jan van Eijck - unknown
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
Closures in ℵ0-categorical bilinear maps.Andreas Baudisch - 2000 - Journal of Symbolic Logic 65 (2):914 - 922.
Note on G. J. Massey's closure-algebraic operation.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):343-346.
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,184,994)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gerald J. Massey
University of Pittsburgh

Citations of this work

Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.

Add more citations

References found in this work

No references found.

Add more references