Stop the war!
Остановите войну!
for scientists:
default search action
Logic Journal of the IGPL, Volume 19
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. de 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 C. 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, Ángel 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.