Logic Journal of the Igpl

Article	Citations
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study	18
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia	15
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery	15
Abduction and diagrams	14
A hybrid fuzzy clustering approach for diagnosing primary headache disorder	12
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	11
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	11
Intelligent model for active power prediction of a small wind turbine	10
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process	8
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	8
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	8
Intelligent models for movement detection and physical evolution of patients with hip surgery	8
Employees balance and stability as key points in organizational performance	8
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	7
The logic of orthomodular posets of finite height	6
Unsupervised network traffic anomaly detection with deep autoencoders	5
A hybrid machine learning system to impute and classify a component-based robot	5
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	5
The logic languages of the TPTP world	5
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	5
Generation of Synthetic Data with Conditional Generative Adversarial Networks	4
New Tableau Characterizations for Non-clausal MaxSAT Problem	4
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	4
Secure traveling salesman problem with intelligent transport systems features	4

Improving wearable-based fall detection with unsupervised learning	4
∞-Groupoid Generated by an Arbitrary Topological λ-Model	4
Test Case Prioritization—ANT Algorithm With Faults Severity	4
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	4
Fragments of Quasi-Nelson: The Algebraizable Core	4
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	4
Entity alignment via summary and attribute embeddings	4
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags	4
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories	3
Nelson’s logic ?	3
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	3
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	3
Boolean negation and non-conservativity I: Relevant modal logics	3
Cn algebras with Moisil possibility operators	3
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	3
On bivalent semantics and natural deduction for some infectious logics	3
Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks	3
Network security situation awareness forecasting based on statistical approach and neural networks	3
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	3
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	3
Fake news detection platform—conceptual architecture and prototype	3
Crisp Bi-Gödel modal logic and its paraconsistent expansion	2
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach	2
Proof Systems for 3-valued Logics Based on Gödel’s Implication	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
Logic of informal provability with truth values	2
The Impact of Different System Call Representations on Intrusion Detection	2
The subformula property of natural deduction derivations and analytic cuts	2
Cyclic proofs for the first-order µ-calculus	2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms	2
A probabilistic temporal epistemic logic: Strong completeness	2
Logics of (In)sane and (Un)reliable Beliefs	2
Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory	2
Restricted Rules of Inference and Paraconsistency	2
Boolean negation and non-conservativity III: the Ackermann constant	2
Who Finds the Short Proof?	2
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency	2
A restricted second-order logic for non-deterministic poly-logarithmic time	2
Robust schedules for tardiness optimization in job shop with interval uncertainty	2
Free choice permission, legitimization and relating semantics	2
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion	2
Surrogate-based optimization of learning strategies for additively regularized topic models	2
Towards real-time DNA biometrics using GPU-accelerated processing	2
Undecidability of the Logic of Partial Quasiary Predicates	2
Algorithmic correspondence for hybrid logic with binder	2
On registration methods for SLAM with low resolution LiDAR sensor	1
Distal learning of the incremental capacity curve of a LiFePO4 battery	1
Elementary-base cirquent calculus II: Choice quantifiers	1
Saturated models of first-order many-valued logics	1
Algebraic Properties of Paraorthomodular Posets	1

A probabilistic temporal epistemic logic: Decidability	1
Remarks about the unification types of some locally tabular normal modal logics	1
Proving properties of binary classification neural networks via Łukasiewicz logic	1
An atom’s worth of anonymity	1
Data streams classification using deep learning under different speeds and drifts	1
Type Theory with Opposite Types: A Paraconsistent Type Theory	1
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks	1
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	1
The Russell-Prawitz embedding and the atomization of universal instantiation	1
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	1
A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic	1
Extensions of paraconsistent weak Kleene logic	1
Gödel justification logics and realization	1
Unification with parameters in the implication fragment of classical propositional logic	1
On learning context-aware rules to link RDF datasets	1
Biometric recognition system performance measures for lossy compression on EEG signals	1
On the relationships between some meta-mathematical properties of arithmetical theories	1
Logics of Ignorance and Being Wrong	1
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	1
Ethereum-based decentralized car rental system	1
Linear temporal justification logics with past and future time modalities	1
Detection and nudge-intervention on sensitive information in social networks	1
Vector logic allows counterfactual virtualization by the square root of NOT	1
A new approach for writer verification based on segments of handwritten graphemes	1
Design of a New Distributed NoSQL Database with Distributed Hash Tables	1
Orthogonal Learning Firefly Algorithm	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Branching Time Axiomatized With the Use of Change Operators	1
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	1
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	1
What is mathematical logic? An Australian odyssey	1
Tarski’s Undefinability Theorem and the Diagonal Lemma	1
Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors	1
Towards enhanced monitoring framework with smart predictions	1
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	1
Lyndon’s interpolation property for the logic of strict implication	1
Dualities for Bounded Prelinear Hilbert Algebras	0
PBIL for optimizing inception module in convolutional neural networks	0
Editorial: Special issue in honour of John Newsome Crossley	0
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	0
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	0
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	0
Semantical investigations on non-classical logics with recovery operators: negation	0
The Axiom of Choice and the Partition Principle from Dialectica Categories	0
Editorial: Special issue HAIS20	0
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	0
The use of logic and argumentation in therapy of sex offenders	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
On algebraic and topological semantics of the modal logic of common knowledge S4CI	0
Editorial: Special issue HAIS19-IGPL	0
Base-extension semantics for modal logic	0
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	0
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	0
On split-octonionic curves	0
Hyperintensional models for non-congruential modal logics	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?"	0
Exploiting multimodal biometrics for enhancing password security	0
Detection, exploitation and mitigation of memory errors	0
Undecidability of admissibility in the product of two Alt logics	0
Amalgamation and Robinson property in universal algebraic logic	0
Symmetric and conflated intuitionistic logics	0
When Curry met Abel	0
Another neighbourhood semantics for intuitionistic logic	0
On weak filters and ultrafilters: Set theory from (and for) knowledge representation	0
Online, computable and punctual structure theory	0
Binary modal logic and unary modal logic	0
An infinitary axiomatization of dynamic topological logic	0
Modal expansions of ririgs	0
Constructive aspects of Riemann’s permutation theorem for series	0
Natural deduction and semantic models of justification logic in the proof assistant Coq	0
Complexity of the interpretability logics ILW and ILP	0
Filtering non-balanced data using an evolutionary approach	0
27th Workshop on Logic, Language, Information and Computation	0
Algebraic logic for the negation fragment of classical logic	0
Detection of forest fires outbreaks by dynamic fuzzy logic controller	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
Remarks on uniform interpolation property	0
Developments on PlagZap, the Fast and Free Textual Plagiarism Detection Solution for Universities	0

Randomness study of the concatenation of generalized sequences	0
Restriction in Program Algebra	0
Editorial: Special Issue CISIS 2021	0
On a Weak Conditional	0
Genuine paracomplete logics	0
Recollections of logicians, mathematicians and philosophers	0
A support vector regression model for time series forecasting of the COMEX copper spot price	0
Jónsson-style canonicity in distributive modal µ-calculus	0
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	0
Unification types in Euclidean modal logics	0
Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish)	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019)	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Editorial: Special issue SOCO-CISIS 2018-IGPL	0
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots	0
Special Issue: SOCO–CISIS 2019-IGPL	0
On the Impact of Interpretability Methods in Active Image Augmentation Method	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Missing data imputation over academic records of electrical engineering students	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
Report on the exact methods for finding minimum-sized DFA	0
Contact semilattices	0
The complexity of definability by open first-order formulas	0
LSTM vs CNN in real ship trajectory classification	0
FCA-based reasoning for privacy	0
Extensions in graph normal form	0
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	0
Editorial	0
Editorial: Special Issue HAIS 2021	0
Constructive theories through a modal lens	0
Contrariety re-encountered: nonstandard contraries and internal negation**	0
Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder	0
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions	0
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	0
Paraconsistentization and many-valued logics	0
John Crossley: A life intellectual	0
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm	0
Logics and collaboration	0
Investigating growth models with linearization domain analysis and residual analysis	0
An axiomatic approach to CG′3 logic	0
Editorial: Special issue HAIS 2018	0
How did Avicenna understand the Barcan formulas?	0
Logical foundations: Personal perspective	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
Computability and the Symmetric Difference Operator	0
Functoriality of the Schmidt construction	0
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	0
The finite sequences and the partitions whose members are finite of a set	0
Design and implementation of parallel self-adaptive differential evolution for global optimization	0
Axioms for a Logic of Consequential Counterfactuals	0
The early history of formal diagonalization	0
Patterns of frequent user interactions in blogosphere	0
Finite axiomatizability of logics of distributive lattices with negation	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Labelled proof systems for existential reasoning	0
Non-contingency in a Paraconsistent Setting	0
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Sample logic	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
Some results for min matrices associated with Chebyshev polynomials	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
Correspondence and canonicity theory of quasi-inequalities andΠ2-statements in modal subordination algebras	0
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
Boolean negation and non-conservativity II: The variable-sharing property	0
AGV fuzzy control optimized by genetic algorithms	0
The fixed points of belief and knowledge	0
Knowledge and ignorance in Belnap–Dunn logic	0
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs	0
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	0
The spectra of quasi-Boolean algebras	0
On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae	0
Tableaux for essence and contingency	0
First-order logic of change	0
A bottom-up algorithm for solving ♯2SAT	0
On intermediate justification logics	0
The relevance logic of Boolean groups	0
Editorial: Special issue SOCO 2020	0
The logic of conditionals on outback trails	0
Tabu search and genetic algorithm in rims production process assignment	0
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	0
Kolmogorov and Kuroda translations into basic predicate logic	0
OUP accepted manuscript	0
Editorial: Special issue SOCO-CISIS 2017-IGPL	0
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	0
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	0
‘Sometime a paradox’, now proof: Yablo is not first order	0
Why the Axiom of Choice Sometimes Fails	0
Proof-carrying parameters in certified symbolic execution	0
Logic, co-ordination and the envelope of our beliefs	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Interactive proof-search for equational reasoning	0