default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl26.bht:"
download as .bib file
@article{DBLP:journals/igpl/AbiriMZ18,
author = {Maryam Abiri and
Morteza Moniri and
Mostafa Zaare},
title = {From forcing to satisfaction in Kripke models of intuitionistic predicate
logic},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {464--474},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy007},
doi = {10.1093/JIGPAL/JZY007},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AbiriMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AlvesDFK18,
author = {Sandra Alves and
Besik Dundua and
M{\'{a}}rio Florido and
Temur Kutsia},
title = {Pattern-based calculi with finitary matching},
journal = {Log. J. {IGPL}},
volume = {26},
number = {2},
pages = {203--243},
year = {2018},
url = {https://doi.org/10.1093/JIGPAL/jzx059},
doi = {10.1093/JIGPAL/JZX059},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AlvesDFK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArdeshirG18,
author = {Mohammad Ardeshir and
Zahra Ghafouri},
title = {Compactness, colocatedness, measurability and {ED}},
journal = {Log. J. {IGPL}},
volume = {26},
number = {2},
pages = {244--254},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx060},
doi = {10.1093/JIGPAL/JZX060},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArdeshirG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BergerBT18,
author = {Gerald Berger and
Lev D. Beklemishev and
Hans Tompits},
title = {A many-sorted variant of Japaridze's polymodal provability logic},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {505--538},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy012},
doi = {10.1093/JIGPAL/JZY012},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BergerBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BurdukBPM18,
author = {Anna Burduk and
Wojciech Bozejko and
Jaroslaw Pempera and
Kamil Musial},
title = {On the simulated annealing adaptation for tasks transportation optimization},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {581--592},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy022},
doi = {10.1093/JIGPAL/JZY022},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BurdukBPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ChajdaFL18,
author = {Ivan Chajda and
Davide Fazio and
Antonio Ledda},
title = {On the structure theory of {\L}ukasiewicz near semirings},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {14--28},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx044},
doi = {10.1093/JIGPAL/JZX044},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ChajdaFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ChalkiKZ18,
author = {Aggeliki Chalki and
Costas D. Koutras and
Yorgos Zikos},
title = {A quick guided tour to the modal logic {S4.2}},
journal = {Log. J. {IGPL}},
volume = {26},
number = {4},
pages = {429--451},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy008},
doi = {10.1093/JIGPAL/JZY008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ChalkiKZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ChaoS18,
author = {Conden Chao and
Payam Seraji},
title = {G{\"{o}}del's second incompleteness theorem for {\(\Sigma\)}
n -definable theories},
journal = {Log. J. {IGPL}},
volume = {26},
number = {2},
pages = {255--257},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx061},
doi = {10.1093/JIGPAL/JZX061},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ChaoS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CornejoM18,
author = {Juan Manuel Cornejo and
Hern{\'{a}}n Javier San Mart{\'{\i}}n},
title = {A categorical equivalence between semi-Heyting algebras and centered
semi-Nelson algebras},
journal = {Log. J. {IGPL}},
volume = {26},
number = {4},
pages = {408--428},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy006},
doi = {10.1093/JIGPAL/JZY006},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CornejoM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ellerman18,
author = {David P. Ellerman},
title = {The quantum logic of direct-sumdecompositions: the dual to the quantum
logic of subspaces},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {1--13},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx026},
doi = {10.1093/JIGPAL/JZX026},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Ellerman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FigalloPP18,
author = {Aldo V. Figallo and
In{\'{e}}s Pascual and
Gustavo Pelaitay},
title = {A topological duality for tense {\textdollar}{\textdollar}{\textbackslash}boldsymbol\{LM{\_}n\}{\textdollar}{\textdollar}-algebras
and applications1},
journal = {Log. J. {IGPL}},
volume = {26},
number = {4},
pages = {339--380},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx056},
doi = {10.1093/JIGPAL/JZX056},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FigalloPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GrzelakL18,
author = {Aleksandra Grzelak and
Dorota Leszczynska{-}Jasion},
title = {Automatic proof generation in an axiomatic system for {\textdollar}{\textdollar}{\textbackslash}mathsf\{CPL\}{\textdollar}{\textdollar}
by means of the method of Socratic proofs},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {109--148},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx057},
doi = {10.1093/JIGPAL/JZX057},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GrzelakL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hartonas18,
author = {Chrysafis Hartonas},
title = {Stone duality for lattice expansions},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {475--504},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy010},
doi = {10.1093/JIGPAL/JZY010},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hartonas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Heubo-KwegnaLNN18,
author = {Olivier A. Heubo{-}Kwegna and
C{\'{e}}lestin L{\'{e}}l{\'{e}} and
S{\'{e}}lestin Ndjeya and
Jean B. Nganou},
title = {BL-rings},
journal = {Log. J. {IGPL}},
volume = {26},
number = {3},
pages = {290--299},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy001},
doi = {10.1093/JIGPAL/JZY001},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Heubo-KwegnaLNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JansanaM18,
author = {Ramon Jansana and
Hern{\'{a}}n Javier San Mart{\'{\i}}n},
title = {On Kalman's functor for bounded hemi-implicative semilattices and
hemi-implicative lattices},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {47--82},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx052},
doi = {10.1093/JIGPAL/JZX052},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JansanaM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KarakayaE18,
author = {Vatan Karakaya and
M{\"{u}}zeyyen Ert{\"{u}}rk},
title = {Approaches of linear operators in the intuitionistic fuzzy 2-Banach
spaces},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {453--463},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy009},
doi = {10.1093/JIGPAL/JZY009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KarakayaE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kost18,
author = {Slawomir Kost},
title = {Projective unification in transitive modal logics},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {548--566},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy013},
doi = {10.1093/JIGPAL/JZY013},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kost18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kudinov18,
author = {Andrey Kudinov},
title = {On neighbourhood product of some Horn axiomatizable logics},
journal = {Log. J. {IGPL}},
volume = {26},
number = {3},
pages = {316--338},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy004},
doi = {10.1093/JIGPAL/JZY004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kudinov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarcFPD18,
author = {Andrei Horvat Marc and
Levente Fuksz and
Petrica C. Pop and
Daniela Danciulescu},
title = {A decomposition-based method for solving the clustered vehicle routing
problem},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {83--95},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx037},
doi = {10.1093/JIGPAL/JZX037},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MarcFPD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Molina-CabelloL18,
author = {Miguel A. Molina{-}Cabello and
Ezequiel L{\'{o}}pez{-}Rubio and
Rafael M. Luque{-}Baena and
Enrique Dom{\'{\i}}nguez and
Esteban J. Palomo},
title = {Foreground object detection for video surveillance by fuzzy logic
based estimation of pixel illumination states},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {593--604},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy024},
doi = {10.1093/JIGPAL/JZY024},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Molina-CabelloL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Moreno-Fernandez-de-Leceta18,
author = {Aitor Moreno{-}Fernandez{-}de{-}Leceta and
Jos{\'{e}} Manuel L{\'{o}}pez{-}Guede and
Leire Ezquerro Insagurbe and
Nora Ruiz de Arbulo and
Manuel Gra{\~{n}}a},
title = {A novel methodology for clinical semantic annotations assessment},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {569--580},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy021},
doi = {10.1093/JIGPAL/JZY021},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Moreno-Fernandez-de-Leceta18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Olkhovikov18,
author = {Grigory K. Olkhovikov},
title = {Justification announcements in discrete time. Part {I:} Completeness
results},
journal = {Log. J. {IGPL}},
volume = {26},
number = {3},
pages = {259--289},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy002},
doi = {10.1093/JIGPAL/JZY002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Olkhovikov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Omanadze18,
author = {Roland Sh. Omanadze},
title = {Some structural properties of quasi-degrees},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {191--201},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx058},
doi = {10.1093/JIGPAL/JZX058},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Omanadze18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pawlowski18,
author = {Pawel Pawlowski},
title = {Proof systems for {BAT} consequence relations},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {96--108},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx055},
doi = {10.1093/JIGPAL/JZX055},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Pawlowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RinconJCCN18,
author = {Jaime Andres Rincon and
Vicente Juli{\'{a}}n and
Carlos Carrascosa and
{\^{A}}ngelo Costa and
Paulo Novais},
title = {Detecting emotions through non-invasive wearables},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {605--617},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy025},
doi = {10.1093/JIGPAL/JZY025},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/RinconJCCN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RybakovS18,
author = {Mikhail N. Rybakov and
Dmitry Shkatov},
title = {Complexity and expressivity of propositional dynamic logics with finitely
many variables},
journal = {Log. J. {IGPL}},
volume = {26},
number = {5},
pages = {539--547},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy014},
doi = {10.1093/JIGPAL/JZY014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RybakovS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sanchez-Gonzalez18,
author = {Lidia S{\'{a}}nchez{-}Gonz{\'{a}}lez and
Laura Fern{\'{a}}ndez{-}Robles and
Manuel Castej{\'{o}}n Limas and
Javier Alfonso{-}Cend{\'{o}}n and
Hilde P{\'{e}}rez and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {Use of classifiers and recursive feature elimination to assess boar
sperm viability},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {629--637},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy027},
doi = {10.1093/JIGPAL/JZY027},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sanchez-Gonzalez18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SegoviaGRMG18,
author = {Ferm{\'{\i}}n Segovia and
J. M. G{\'{o}}rriz and
Javier Ram{\'{\i}}rez and
Francisco Jes{\'{u}}s Mart{\'{\i}}nez{-}Murcia and
Marcelo Garc{\'{\i}}a{-}P{\'{e}}rez},
title = {Using deep neural networks along with dimensionality reduction techniques
to assist the diagnosis of neurodegenerative disorders},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {618--628},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy026},
doi = {10.1093/JIGPAL/JZY026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/SegoviaGRMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Standefer18,
author = {Shawn Standefer},
title = {Trees for {E}},
journal = {Log. J. {IGPL}},
volume = {26},
number = {3},
pages = {300--315},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy003},
doi = {10.1093/JIGPAL/JZY003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Standefer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Tzouvaras18,
author = {Athanassios Tzouvaras},
title = {Propositional superposition logic},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {149--190},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx054},
doi = {10.1093/JIGPAL/JZX054},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Tzouvaras18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VidalC18,
author = {Juan Climent Vidal and
Enric Cosme{-}Ll{\'{o}}pez},
title = {When are profinite many-sorted algebras retracts of ultraproducts
of finite many-sorted algebras?},
journal = {Log. J. {IGPL}},
volume = {26},
number = {4},
pages = {381--407},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy005},
doi = {10.1093/JIGPAL/JZY005},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VidalC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wojciechowski18,
author = {Szymon Wojciechowski},
title = {A comparison of classification strategies in rule-based classifiers},
journal = {Log. J. {IGPL}},
volume = {26},
number = {1},
pages = {29--46},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx053},
doi = {10.1093/JIGPAL/JZX053},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wojciechowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X18,
title = {Erratum},
journal = {Log. J. {IGPL}},
volume = {26},
number = {2},
pages = {258},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzx062},
doi = {10.1093/JIGPAL/JZX062},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X18a,
title = {Editorial: Special issue {SOCO} 2016},
journal = {Log. J. {IGPL}},
volume = {26},
number = {6},
pages = {567--568},
year = {2018},
url = {https://doi.org/10.1093/jigpal/jzy020},
doi = {10.1093/JIGPAL/JZY020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-20 01:50 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
