In S. Barry Cooper (ed.), How the World Computes. pp. 485--495 (2012)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On the Lattice of Quasivarieties of Sugihara Algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Finite Algebras of Relations Are Representable on Finite Sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Finite Basis Problems and Results for Quasivarieties.Miklós Maróti & Ralph McKenzie - 2004 - Studia Logica 78 (1-2):293 - 320.
Natural Dualities for Varieties of BL-Algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Common Reasoning About Admissibility.Cristina Bicchieri & Oliver Schulte - 1996 - Erkenntnis 45 (2-3):299 - 325.
The Number of One-Generated Cylindric Set Algebras of Dimension Greater Than Two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Symmetrical Heyting Algebras with a Finite Order Type of Operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Dynamic Algebras: Examples, Constructions, Applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Free Łukasiewicz and Hoop Residuation Algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Decidability Problem for Finite Heyting Algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Flat Algebras and the Translation of Universal Horn Logic to Equational Logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Analytics
Added to PP index
2014-01-28
Total views
16 ( #665,578 of 2,506,374 )
Recent downloads (6 months)
1 ( #416,997 of 2,506,374 )
2014-01-28
Total views
16 ( #665,578 of 2,506,374 )
Recent downloads (6 months)
1 ( #416,997 of 2,506,374 )
How can I increase my downloads?
Downloads
