Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 26
Volume 26, Number 1, February 2018
- David P. Ellerman
:
The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces. 1-13 - Ivan Chajda, Davide Fazio, Antonio Ledda:
On the structure theory of Łukasiewicz near semirings. 14-28 - Szymon Wojciechowski:
A comparison of classification strategies in rule-based classifiers. 29-46 - Ramon Jansana, Hernán Javier San Martín:
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices. 47-82 - Andrei Horvat Marc, Levente Fuksz, Petrica C. Pop, Daniela Danciulescu:
A decomposition-based method for solving the clustered vehicle routing problem. 83-95 - Pawel Pawlowski:
Proof systems for BAT consequence relations. 96-108 - Aleksandra Grzelak, Dorota Leszczynska-Jasion:
Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs. 109-148 - Athanassios Tzouvaras:
Propositional superposition logic. 149-190 - Roland Sh. Omanadze:
Some structural properties of quasi-degrees. 191-201
Volume 26, Number 2, April 2018
- Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia:
Pattern-based calculi with finitary matching. 203-243 - Mohammad Ardeshir, Zahra Ghafouri:
Compactness, colocatedness, measurability and ED. 244-254 - Conden Chao, Payam Seraji:
Gödel's second incompleteness theorem for Σ n -definable theories. 255-257 - Erratum. 258
Volume 26, Number 3, June 2018
- Grigory K. Olkhovikov:
Justification announcements in discrete time. Part I: Completeness results. 259-289 - Olivier A. Heubo-Kwegna, Célestin Lélé, Sélestin Ndjeya, Jean B. Nganou:
BL-rings. 290-299 - Shawn Standefer:
Trees for E. 300-315 - Andrey Kudinov:
On neighbourhood product of some Horn axiomatizable logics. 316-338
Volume 26, Number 4, August 2018
- Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay:
A topological duality for tense $$\boldsymbol{LM_n}$$-algebras and applications1. 339-380 - Juan Climent Vidal, Enric Cosme-Llópez:
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? 381-407 - Juan Manuel Cornejo, Hernán Javier San Martín:
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. 408-428 - Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos:
A quick guided tour to the modal logic S4.2. 429-451
Volume 26, Number 5, October 2018
- Vatan Karakaya, Müzeyyen Ertürk:
Approaches of linear operators in the intuitionistic fuzzy 2-Banach spaces. 453-463 - Maryam Abiri, Morteza Moniri, Mostafa Zaare:
From forcing to satisfaction in Kripke models of intuitionistic predicate logic. 464-474 - Chrysafis Hartonas:
Stone duality for lattice expansions. 475-504 - Gerald Berger, Lev D. Beklemishev, Hans Tompits:
A many-sorted variant of Japaridze's polymodal provability logic. 505-538 - Mikhail N. Rybakov, Dmitry Shkatov:
Complexity and expressivity of propositional dynamic logics with finitely many variables. 539-547 - Slawomir Kost:
Projective unification in transitive modal logics. 548-566
Volume 26, Number 6, December 2018
- Editorial: Special issue SOCO 2016. 567-568
- 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. 569-580 - Anna Burduk, Wojciech Bozejko, Jaroslaw Pempera, Kamil Musial:
On the simulated annealing adaptation for tasks transportation optimization. 581-592 - 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. 593-604 - Jaime Andres Rincon, Vicente Julián, Carlos Carrascosa, Ângelo Costa, Paulo Novais:
Detecting emotions through non-invasive wearables. 605-617 - 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. 618-628 - 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. 629-637
a service of 
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.
last updated on 2024-04-19 19:20 CEST 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:
