• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 34 matches

• 2018
• 
  Maryam Abiri, Morteza Moniri, Mostafa Zaare:
  From forcing to satisfaction in Kripke models of intuitionistic predicate logic. Log. J. IGPL 26(5): 464-474 (2018)
• 
  Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia:
  Pattern-based calculi with finitary matching. Log. J. IGPL 26(2): 203-243 (2018)
• 
  Mohammad Ardeshir, Zahra Ghafouri:
  Compactness, colocatedness, measurability and ED. Log. J. IGPL 26(2): 244-254 (2018)
• 
  Gerald Berger, Lev D. Beklemishev, Hans Tompits:
  A many-sorted variant of Japaridze's polymodal provability logic. Log. J. IGPL 26(5): 505-538 (2018)
• 
  Anna Burduk, Wojciech Bozejko, Jaroslaw Pempera, Kamil Musial:
  On the simulated annealing adaptation for tasks transportation optimization. Log. J. IGPL 26(6): 581-592 (2018)
• 
  Ivan Chajda, Davide Fazio, Antonio Ledda:
  On the structure theory of Łukasiewicz near semirings. Log. J. IGPL 26(1): 14-28 (2018)
• 
  Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos:
  A quick guided tour to the modal logic S4.2. Log. J. IGPL 26(4): 429-451 (2018)
• 
  Conden Chao, Payam Seraji:
  Gödel's second incompleteness theorem for Σ n -definable theories. Log. J. IGPL 26(2): 255-257 (2018)
• 
  Juan Manuel Cornejo, Hernán Javier San Martín:
  A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. Log. J. IGPL 26(4): 408-428 (2018)
• 
  David P. Ellerman:
  The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces. Log. J. IGPL 26(1): 1-13 (2018)
• 
  Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay:
  A topological duality for tense $$\boldsymbol{LM_n}$$-algebras and applications1. Log. J. IGPL 26(4): 339-380 (2018)
• 
  Aleksandra Grzelak, Dorota Leszczynska-Jasion:
  Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs. Log. J. IGPL 26(1): 109-148 (2018)
• 
  Chrysafis Hartonas:
  Stone duality for lattice expansions. Log. J. IGPL 26(5): 475-504 (2018)
• 
  Olivier A. Heubo-Kwegna, Célestin Lélé, Sélestin Ndjeya, Jean B. Nganou:
  BL-rings. Log. J. IGPL 26(3): 290-299 (2018)
• 
  Ramon Jansana, Hernán Javier San Martín:
  On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices. Log. J. IGPL 26(1): 47-82 (2018)
• 
  Vatan Karakaya, Müzeyyen Ertürk:
  Approaches of linear operators in the intuitionistic fuzzy 2-Banach spaces. Log. J. IGPL 26(5): 453-463 (2018)
• 
  Slawomir Kost:
  Projective unification in transitive modal logics. Log. J. IGPL 26(5): 548-566 (2018)
• 
  Andrey Kudinov:
  On neighbourhood product of some Horn axiomatizable logics. Log. J. IGPL 26(3): 316-338 (2018)
• 
  Andrei Horvat Marc, Levente Fuksz, Petrica C. Pop, Daniela Danciulescu:
  A decomposition-based method for solving the clustered vehicle routing problem. Log. J. IGPL 26(1): 83-95 (2018)
• 
  Miguel A. Molina-Cabello, Ezequiel López-Rubio, Rafael M. Luque-Baena, Enrique Domínguez, Esteban J. Palomo:
  Foreground object detection for video surveillance by fuzzy logic based estimation of pixel illumination states. Log. J. IGPL 26(6): 593-604 (2018)
• 
  Aitor Moreno-Fernandez-de-Leceta, José Manuel López-Guede, Leire Ezquerro Insagurbe, Nora Ruiz de Arbulo, Manuel Graña:
  A novel methodology for clinical semantic annotations assessment. Log. J. IGPL 26(6): 569-580 (2018)
• 
  Grigory K. Olkhovikov:
  Justification announcements in discrete time. Part I: Completeness results. Log. J. IGPL 26(3): 259-289 (2018)
• 
  Roland Sh. Omanadze:
  Some structural properties of quasi-degrees. Log. J. IGPL 26(1): 191-201 (2018)
• 
  Pawel Pawlowski:
  Proof systems for BAT consequence relations. Log. J. IGPL 26(1): 96-108 (2018)
• 
  Jaime Andres Rincon, Vicente Julián, Carlos Carrascosa, Ângelo Costa, Paulo Novais:
  Detecting emotions through non-invasive wearables. Log. J. IGPL 26(6): 605-617 (2018)
• 
  Mikhail N. Rybakov, Dmitry Shkatov:
  Complexity and expressivity of propositional dynamic logics with finitely many variables. Log. J. IGPL 26(5): 539-547 (2018)
• 
  Lidia Sánchez-González, Laura Fernández-Robles, Manuel Castejón Limas, Javier Alfonso-Cendón, Hilde Pérez, Héctor Quintián, Emilio Corchado:
  Use of classifiers and recursive feature elimination to assess boar sperm viability. Log. J. IGPL 26(6): 629-637 (2018)
• 
  Fermín Segovia, J. M. Górriz, Javier Ramírez, Francisco Jesús Martínez-Murcia, Marcelo García-Pérez:
  Using deep neural networks along with dimensionality reduction techniques to assist the diagnosis of neurodegenerative disorders. Log. J. IGPL 26(6): 618-628 (2018)
• 
  Shawn Standefer:
  Trees for E. Log. J. IGPL 26(3): 300-315 (2018)
• 
  Athanassios Tzouvaras:
  Propositional superposition logic. Log. J. IGPL 26(1): 149-190 (2018)

skipping 4 more matches