Logic Journal of the Igpl

Article	Citations
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	31
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	21
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	11
Completeness of two fragments of a logic for conditional strategic reasoning	8
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	7
The logics of individual Medvedev frames	7
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	6
On the relationships between some meta-mathematical properties of arithmetical theories	6
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	6
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	5
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	5
Towards smart hotels: energy forecasting with machine learning models	5
An observer-based approach to the sorites paradox and the logic derived from that	5
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	5
Online, computable and punctual structure theory	5
Another remark on connexivity and set theory	4
A Kantian inquiry into the cognitive origins of logical and semantic paradoxes	4
Some explicit values of an alternative q -multiple zeta function at roots of unity	4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	4
Remarks on uniform interpolation property	4
Aristotle’s dilemma	4
Isomorphism problem and perfectness of zero-divisor graphs for finite MV-algebras	4
Relevant number theory with cancellation	4
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	4
Hyperintensional models for non-congruential modal logics	4

Implicational tonoids and their representations	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
A probabilistic temporal epistemic logic: Decidability	4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	4
A dual equivalence of the category of Lawson compact algebraic L -domains and spectrally continuous functions	3
On bipolar fuzzy soft hyperlattices	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
The third order Nickel Fibonacci numbers	3
Some properties of weakly r-supplemented modules	3
On minimal pairs of quasi-degrees	3
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion	3
On the bi-periodic ( k,s )—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	3
A new extension of the Frank matrix and its properties	3
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation	3
Non-contingency in a paraconsistent setting	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	3
Explanatory frameworks in complex change and resilience system modelling	3
Tabu search and genetic algorithm in rims production process assignment	3
Editorial: Special issue in honour of John Newsome Crossley	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
A new completeness proof at the propositional level for mbC and some of its extensions	2
K and KT: an analytic non-deterministic view	2
Contrastive learning of prototypical network for detecting phishing URL	2
The limitless first incompleteness theorem	2
Two decades of non-classical mathematics: introduction to the special issue	2
The application of artificial neural networks to forecast financial time series	2
Extending computational trinitarianism	2
Constructive aspects of Riemann’s permutation theorem for series	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
John Crossley: A life intellectual	2
Models of an abstract elementary class as a Generalized Polish Space	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
Towards a polarized semantics for assertion and denial	2
Detection, exploitation and mitigation of memory errors	2
Editorial: Special Issue SOCO 2022	2
Expressing knowledge as linked data by FOOL	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
A note on the axiom of choice in an iterative paraconsistent set theory	2
Base-extension semantics for S5 modal logic	2
Improving accountability and explainability in robots through encryption, large language models, and visual language models	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Modal semantics for reasoning with probability and uncertainty	1
Editorial: Special issue SOCO 2020	1

Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
How did Avicenna understand the Barcan formulas?	1
SHWFS image-based wavefront prediction for adaptive optics using convolutional LSTM	1
A fundamental completeness theorem for bivalent free logics	1
Logics and collaboration	1
Enhanced traceability methodology based on OCR deep learning techniques in the metalworking industry	1
Boolean and modal connectives as primitives in non-deterministic semantics	1
The logic of conditionals on outback trails	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
A note on the expressive completeness of LP in a metatheory without negation	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Computably enumerable sets of reals in constructive mathematical analysis	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Inferential-connexive mixed logics	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Information types in intuitionistic predicate logic with constant domains	1
Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes	1
Undecidability of admissibility in the product of two Alt logics	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
Embedded feature selection for neural networks via learnable drop layer	1
Partial connexivity and the logic CG ʹ3	1
A robot-based surveillance system for recognising distress hand signal	1
Quantum modal logic	1
Forecasting temperature in geothermal heat pump using deep learning for enhanced residential building energy management	1
The determinants and the inverses of the $\left ( \frac{2a }{k^{2}+2},a,a\right ) $-$L_{k}$-Toeplitz and the $(2,k^{2}+2,k^{2}+2)$-$ F_{k} $-Toeplitz matrices	1
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω	1
Editorial: Special issue SOCO 2023	1
Computable operators on left–c.e. reals and their continuity properties	1
Homotopic contraction mappings	1
Understanding the black box: Android malware detection through Explainable AI	1
Tense operators on Kleene algebras with intuitionistic negation	1
On quasi(semi) convex MV-algebras	1
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	1
Intuitionistic modal logics: tips and clips	1
AGV fuzzy control optimized by genetic algorithms	1
Editorial: Special issue ISA 2023	1
Exploiting multimodal biometrics for enhancing password security	1
Abduction and analogies in linguistic reconstruction inferences	1
Possibilist models of executable arithmetic in an interpretation of Griss	1
Decidability of quantum modal logic	1
Fibonacci-based Pascal-like matrices with double factorial binomial structure	1
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems	1
Stability analysis of an improved stochastic malware diffusion SEIR model	1
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
FCA-based reasoning for privacy	0
Who finds the short proof?	0
On Nelson’s conception of consistency	0
MLP neural networks for accelerated pollution prediction in environmental monitoring systems	0
Dualities in quasiorder-generated covering-based approximation spaces	0
Paraconsistentization and many-valued logics	0
Iterated probability revision and the limitations of dyadic probability	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
Correction to the following articles DOI jzae101-jzae112	0
A note on cut-elimination for intuitionistic logic with actuality	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
A probabilistic temporal epistemic logic: Strong completeness	0
Report on the exact methods for finding minimum-sized DFA	0
Characteristics of structurally finite classes of order-preserving three-valued logic maps	0
The higher dimensional propositional calculus	0
Anomaly detection comparison for photo-paroxysmal response detection	0
Unsupervised AI-based water consumption classification from time series data	0
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter	0
Parsimony search in small high-dimensional datasets with HYB-PARSIMONY	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
A constructive proof of the Craig’s interpolation theorem for QCiore	0
A complete tableau system for basic hybrid logic with propositional quantification	0
Editorial: Special Issue CISIS 2021	0
Symmetric and conflated intuitionistic logics	0
Cybersecurity trends in cooperative, connected and automated mobility	0
A correspondence theorem for interpretability logic with respect to Verbrugge semantics	0
Feature combination from different mammogram perspectives to improve lesion classification	0
Study of infostealers using Graph Neural Networks	0
LSTM vs CNN in real ship trajectory classification	0
Unification in subsystems of polymodal provability logic GLP	0

Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
A systematic literature review of unsupervised learning algorithms for anomalous traffic detection based on flows	0
Editorial: Special issue HAIS 2023	0
Contact semilattices	0
On split-octonionic curves	0
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	0
A tool for generating and evaluating synthetic embryo development videos using generative models	0
Fixed-point theorems on digital rectangular metric space	0
Towards enhanced monitoring framework with smart predictions	0
The K ∞ homotopy λ-model	0
Sorites and the Ship of Theseus: a logic of fuzzy identity	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic	0
A new proposal to speed up one-class projectionist techniques	0
On the method of transforming a nonlocal boundary value problem into a Cauchy problem for a second order ordinary differential equation	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Gentzen-type sequent calculus for modal logic S5	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Suprastructural logics	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Exploratory techniques to analyse Ecuador's tourism industry	0
An iterative algorithm for determining contact-rate parameters in individual-based malware propagation models	0
A note on dual Dedekind finiteness	0
PhrasIS: Phrase Inference and Similarity benchmark	0
Linear orders in Presburger arithmetic	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
The d-elements of precoherent preidempotent quantales and their applications	0
Logemes as a new approach to metalogic	0
Criteria for determining whether a t-norm is an additively generated cancellative one	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
Forecasting livestock activity through interpretable neuroevolutionary transfer learning	0
Analysis of spinal mobility and pain in nursing professionals: a study in intensive care units and operating room settings	0
Inferential knowledge and epistemic dimensions	0
Some properties of T-supplemented modules	0
Knowledge and ignorance in Belnap–Dunn logic	0
From weakly topological quasi-Boolean algebra to weak pre-rough algebra and closely related structures: an algebraic and logical investigation	0
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	0
A non-stressful vision-based method for weighing live lambs	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Płonka adjunction	0
Sign-based image criteria for social interaction visual question answering	0
Failure and anomaly detection for automatic meter reading network in intelligent water system	0
A state operator on the uE-algebra	0
Simple sequent systems for the modal logics K,D,T, and S4	0
Quantifiers in connexive logic (in general and in particular)	0
Connexive arithmetic formulated relevantly	0
Editorial: Special Issue HAIS 2022	0
Modal expansions of ririgs	0
Model checking distributed temporal logic	0
Using Multi-Objective Optimization to build non-Random Forest	0
Construction of canonical models for K45 and weaker systems	0
PSPACE-completeness of bimodal transitive weak-density logic	0
Do predictions destroy predictability? A study focusing on stock markets	0
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks	0
Editorial: Special issue HAIS20	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
On elementary equivalence of real semigroups of preordered rings	0
A didactic overview of Transformer applications: model variations and user guidelines	0
Model-based abductive cognition: What thought experiments teach us	0
Comparing deep neural networks to tree-based machine learning methods for anomaly detection in IIoT	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
27th Workshop on Logic, Language, Information and Computation	0
An atom’s worth of anonymity	0
Blockchain self-update smart contract for supply chain traceability with data validation	0
The finite sequences and the partitions whose members are finite of a set	0
Caristi-type contractions for soft multiplicative metric space	0
On structural proof theory of the modal logic K+ extended with infinitary derivations	0
Investigation of the solution of a half-order elliptic type equation with non-local boundary condition	0
Editorial: Special Issue HAIS 2021	0
Interrogative logic as underlying logic in scientific practices	0
Non-empty open intervals of computably enumerable sQ1-degrees	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
Another neighbourhood semantics for intuitionistic logic	0
Development of virtual sensors using multi-plant data for wastewater treatment applications: a case study on nitrogen prediction in effluents	0
Constructive theories through a modal lens	0
On maximal order type of the lexicographic product	0
Involving cognitive science in model transformation for description logics	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
Algebraic logic for the negation fragment of classical logic	0
Base-extension semantics for modal logic	0
Correction to: An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	0
Hyperarithmetical complexity of infinitary action logic with multiplexing	0
A characterization of crossed self-similarity on crossed modules in L-algebras	0
Virtual active power sensor for eolic self-consumption installations based on wind-related variables	0
Negation-cohesive connectives: a generalization of connexivity	0
Nondeterministic first-order T-BAT logic	0
Cyclic proofs for the first-order µ-calculus	0
Logic, co-ordination and the envelope of our beliefs	0
Boundedly finite-to-one functions	0
On constructing frames of a split octonionic curve with an associated spatial split octonionic curve	0
Kolmogorov and Kuroda translations into basic predicate logic	0
Editorial: Special issue CISIS 2023	0
31st workshop on logic, language, information, and computation (WoLLIC 2025)	0
Ensemble-based fake news and disinformation detection using crowdsourced dataset	0
A prototype-based transfer learning approach for the particle swarm clustering algorithm	0