On functions definable in implicational algebras
Studia Logica 34 (1):101 - 105 (1975)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJean-Marie Lion (2002). Finitude Simple Et Structures o-Minimales (Finiteness Property Implies o-Minimality). Journal of Symbolic Logic 67 (4):1616-1622.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345 - 353.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345-353.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Ricardo Bianconi (1992). On Sets ∀-Definable From Pfaffian Functions. Journal of Symbolic Logic 57 (2):688-697.
Shmuel Lifsches & Saharon Shelah (1998). Uniformization and Skolem Functions in the Class of Trees. Journal of Symbolic Logic 63 (1):103-127.
Marek Tokarz (1976). Functions Definable in Sugihara Algebras and Their Fragments. II. Studia Logica 35 (3):279 - 283.
Marek Tokarz (1975). Functions Definable in Sugihara Algebras and Their Fragments (I). Studia Logica 34 (4):295 - 304.
A. M. Nurakunov & M. M. Stronkowski (2009). Quasivarieties with Definable Relative Principal Subcongruences. Studia Logica 92 (1):109 - 120.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,037 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
