Varieties of Logic

Philosophical Quarterly 66 (264):646-648 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/pq/pqv095

Links

PhilArchive



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

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

Semisimplicity, EDPC and discriminator varieties of residuated lattices.Tomasz Kowalski - 2004 - Studia Logica 77 (2):255 - 265.
On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic.Andrzej Wronski - 1986 - Bulletin of the Section of Logic 15 (2):48-51.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Decidable discriminator varieties from unary varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (4):1355-1368.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
[Omnibus Review].Ralph McKenzie - 1999 - Journal of Symbolic Logic 64 (4):1820-1821.
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
Review: Don Pigozzi, Base-Undecidable Properties of Universal Varieties; Don Pigozzi, Universal Equational Theories and Varieties of Algebras. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):904-904.
Decidable Varieties Of Hoops.Stanley Burris & Isabel Ferreirim - 1994 - Reports on Mathematical Logic:53-59.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.

Analytics

Added to PP
2016-02-04

Downloads
43 (#352,595)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ole Thomassen Hjortland
University of Bergen

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references