- A preservation theorem for ec-structures with applications.Michael H. Albert - 1987 - Journal of Symbolic Logic 52 (3):779-785.details
|
|
The axiomatization of override and update.Jasper Berendsen, David N. Jansen, Julien Schmaltz & Frits W. Vaandrager - 2010 - Journal of Applied Logic 8 (1):141-150.details
|
|
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.details
|
|
The reducts of equality up to primitive positive interdefinability.Manuel Bodirsky, Hubie Chen & Michael Pinsker - 2010 - Journal of Symbolic Logic 75 (4):1249-1292.details
|
|
American logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.details
|
|
Injectives in finitely generated universal Horn classes.Michael H. Albert & Ross Willard - 1987 - Journal of Symbolic Logic 52 (3):786-792.details
|
|
(1 other version)Onn-Valued Sheffer Functions.Roy O. Davies - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):293-298.details
|
|
The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.details
|
|
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.details
|
|
Construction of Large Sets of Clones.J. Demetrovics & L. Hannák - 1987 - Mathematical Logic Quarterly 33 (2):127-133.details
|
|
The complexity of satisfiability for fragments of hybrid logic—Part I.Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber & Felix Weiss - 2010 - Journal of Applied Logic 8 (4):409-421.details
|
|
On Partial Classes Containig All Monotone and Zero-Preserving Total Boolean Functions.Birger Strauch - 1997 - Mathematical Logic Quarterly 43 (4):510-524.details
|
|