Volume 19, Number 1, February 2011

• 
  Evan Goris, Joost J. Joosten: A new principle in the interpretability logic of all reasonable arithmetical theories. 1-17
• 
  Gemma Robles, José M. Méndez: A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. 18-32
• 
  Amin Ahmadi-Adl, Abbas Nowzari-Dalini, Hayedeh Ahrabian: Ranking and unranking algorithms for loopless generation of t-ary trees. 33-43
• 
  Zalán Gyenis: On atomicity of free algebras in certain cylindric-like varieties. 44-52
• 
  Douglas S. Bridges: Omniscience, sequential compactness, and the anti-Specker property. 53-61
• 
  Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira: Propositional proof compressions and DNF logic. 62-86
• 
  Tarek Sayed Ahmed: Classes of algebras without the amalgamation property. 87-104
• 
  Gábor Sági: On nonrepresentable G-polyadic algebras with representable cylindric reducts. 105-109
• 
  Majid Alizadeh, Antonio Ledda, Hector Freytes: Completion and amalgamation of bounded distributive quasi lattices. 110-120
• 
  Norihiro Kamide: Phase semantics for linear-time formalism. 121-143
• 
  Gérard Leloup: Existentially equivalent cyclic ultrametric spaces and cyclically valued groups. 144-173
• 
  Douglas S. Bridges: The anti-Specker property, uniform sequential continuity, and a countable compactness property. 174-182
• 
  Félix Bou, Umberto Rivieccio: The logic of distributive bilattices. 183-216
• 
  Valentin Goranko, Ruaan Kellerman: Classes and theories of trees associated with a class of linear orders. 217-232
• 
  Szabolcs Mikulás: On representable ordered residuated semigroups. 233-240
• 
  Lloyd Humberstone: On a conservative extension argument of Dana Scott. 241-288

Volume 19, Number 2, April 2011

• 
  Emilio Corchado, Michal Wozniak: Editorial: Neuro-symbolic Algorithms and Models for Bio-inspired Systems. 289-292

• 
  Claudia Regina Milaré, Gustavo E. A. P. A. Batista, André C. P. L. F. Carvalho: A hybrid approach to learn with imbalanced classes using evolutionary algorithms. 293-303
• 
  Javier Bajo, Juan Francisco de Paz, Sara Rodríguez, Angélica González: A new clustering algorithm applying a hierarchical method neural network. 304-314
• 
  Luís Lima, Paulo Novais, Ricardo Costa, José Bulas-Cruz, José Neves: Group decision making and Quality-of-Information in e-Health systems. 315-332
• 
  Francisco Grimaldo, Miguel Lozano, Fernando Barber: J-MADeM, a market-based model for complex decision problems. 333-342
• 
  Radha Thangaraj, Thanga Raj Chelliah, Millie Pant, Ajith Abraham, Crina Grosan: Optimal gain tuning of PI speed controller in induction motor drives using particle swarm optimization. 343-356
• 
  Michal Przewozniczek, Krzysztof Walkowiak, Michal Wozniak: Optimizing distributed computing systems for k-nearest neighbours classifiers - evolutionary approach. 357-372
• 
  Emilio Corchado, Angel Arroyo, Verónica Tricio: Soft computing models to identify typical meteorological days. 373-383
• 
  Alexander Buslaev, Marina V. Yashina, Igor Kotovich: On problems of intelligent monitoring for traffic. 384-394
• 
  Elena Montañés, José Ramón Quevedo, Irene Díaz, Raquel Cortina, Pedro Alonso, José Ranilla: TagRanker: learning to recommend ranked tags. 395-404
• 
  Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli: Crossover operators for permutations equivalence between position and order-based crossover. 405-414
• 
  Luigi Troiano, Luis J. Rodríguez-Muñiz: A statistical study of differences and similarities among aggregation functions. 415-424
• 
  Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora: A new deduction system for deciding validity in modal logic K. 425-434

Volume 19, Number 3, June 2011

• 
  Franco Montagna: Editorial. 435-436

• 
  Wojciech Buszkowski: Interpolation and FEP for logics of residuated algebras. 437-454
• 
  Nikolaos Galatos: Generalized ordinal sums and translations. 455-466
• 
  Petr Hájek: Towards metamathematics of weak arithmetics over fuzzy logic. 467-475
• 
  Enrico Marchioni, Luca Spada: Advances in the theory of μŁΠ algebras. 476-489
• 
  Clint J. van Alten: Preservation theorems for MTL-chains. 490-511
• 
  Vilém Novák: EQ-algebra-based fuzzy type theory and its extensions. 512-542

Volume 19, Number 4, August 2011

• 
  Jean-Yves Béziau: Preface of this special issue: The Challenge of Combining Logics. 543

• 
  Carlos Caleiro, Paula Gouveia, Jaime Ramos: Hierarchical logical consequence. 544-565
• 
  Jean-Yves Béziau, Marcelo E. Coniglio: To distribute or not to distribute? 566-583
• 
  Arnold Koslow: Structuralist modals and the combination of logics. 584-597
• 
  Gerhard Schurz: Combinations and completeness transfer for quantified modal logics. 598-616

Volume 19, Number 5, October 2011

• 
  Andrew Flahive, David Taniar, J. Wenny Rahayu, Bernady O. Apduhan: Ontology expansion: appending with extracted sub-ontology. 618-647
• 
  Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun: A design methodology of ontology based database applications. 648-665
• 
  Ok-Ran Jeong, Won Kim, Bu-Yong Um, Joon-Gil Kwon, Sung-Hyun Park: A word-salad filtering algorithm. 666-678
• 
  Anders H. Landberg, J. Wenny Rahayu, Eric Pardede: n-Dependency: dependency diversity in anatomised microdata tables. 679-702

Volume 19, Number 6, December 2011

• 
  Mircea Marin: Foreword. 703-704

• 
  Franz Baader, Silvio Ghilardi: Unification in modal and description logics. 705-730
• 
  María Alpuente, Santiago Escobar, José Iborra: Modular termination of basic narrowing and equational unification. 731-762
• 
  Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: On the complexity of Bounded Second-Order Unification and Stratified Context Unification. 763-789
• 
  Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira: First-order unification using variable-free relational algebra. 790-820
• 
  Ekaterina Komendantskaya: Unification neural networks: unification by error-correction learning. 821-847
• 
  Alexander J. Summers: Soundness and principal contexts for a shallow polymorphic type system based on classical logic. 848-896

last updated on Wed May 22 05:41:02 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page