A logical and algebraic characterization of adjunctions between generalized quasi-varieties

Journal of Symbolic Logic 83 (3):899-919 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.47

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Variable Sharing in Substructural Logics: An Algebraic Characterization.Guillermo Badia - 2018 - Bulletin of the Section of Logic 47 (2):107-115.
An Algebraic Characterization of Quantifiers.Leon Henkin - 1951 - Journal of Symbolic Logic 16 (4):290-291.
Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
An algebraic characterization of power set in countable standard models of ZF.George Metakides & J. M. Plotkin - 1975 - Journal of Symbolic Logic 40 (2):167-170.
Prime Ideal Characterization of Generalized Post Algebras.Chen Chung Chang & Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):512-512.
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.
Henkin Leon. An algebraic characterization of quantifiers. Fundamenta mathematicae, Bd. 37 , S. 63–74.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.

Analytics

Added to PP
2018-10-25

Downloads
21 (#173,985)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
Algebras, Lattices, Varieties.Ralph N. Mckenzie, George F. Mcnulty & Walter F. Taylor - 1992 - Journal of Symbolic Logic 57 (1):266-268.

Add more references