Advance articles

Ivanova contact join-semilattices are not finitely axiomatizable

Abstract
• View article

Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic

Abstract
• View article

Generalised Leonardo numbers

Abstract
• View article

Decidability of quantum modal logic

Abstract
• View article

Gentzen-type sequent calculus for modal logic S5

Abstract
• View article

Base-extension semantics for S5 modal logic

Abstract
• View article

Generalised Tribonacci hybrid quaternions

Abstract
• View article

The determinants and the inverses of the $(\frac{2a}{k^2+2},a,a)$-$L_k$-Toeplitz and the $(2,k^2+2,k^2+2)$-$F_k$-Toeplitz matrices

Abstract
• View article

Connexive logic: new old challenges

Extract
• View article

Adaptive structure seeking dialogues

Abstract
• View article

On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers

Abstract
• View article

Boundedly finite-to-one functions

Abstract
• View article

On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions

Abstract
• View article

Aristotle’s dilemma

Abstract
• View article

Characteristics of structurally finite classes of order-preserving three-valued logic maps

Abstract
• View article

An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices

Abstract
• View article

The p-Frobenius number for the triple of certain quadratic numbers

Abstract
• View article

A logical framework for data-driven reasoning

Abstract
• View article

Negation-cohesive connectives: a generalization of connexivity

Extract
• View article

The third order Nickel Fibonacci numbers

Abstract
• View article

On structural proof theory of the modal logic K⁺ extended with infinitary derivations

Abstract
• View article

Quantum modal logic

Abstract
• View article

Expressing knowledge as linked data by FOOL

Abstract
• View article

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities

Abstract
• View article

On Nelson’s conception of consistency

Abstract
• View article

Quantifiers in connexive logic (in general and in particular)

Abstract
• View article

Structurally complete finitary extensions of positive Łukasiewicz logic

Abstract
• View article

Inferential-connexive mixed logics

Abstract
• View article

A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence

Abstract
• View article

Sharpening complexity results in quantified probability logic

Abstract
• View article

A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks

Abstract
• View article

ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection

Abstract
• View article

Using Multi-Objective Optimization to build non-Random Forest

Abstract
• View article

Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN

Abstract
• View article

Virtual active power sensor for eolic self-consumption installations based on wind-related variables

Abstract
• View article

Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing

Abstract
• View article

Optimizing wastewater treatment plants with advanced feature selection and sensor technologies

Abstract
• View article

Inferential knowledge and epistemic dimensions

Abstract
• View article

Explanatory frameworks in complex change and resilience system modelling

Abstract
• View article

Study of infostealers using Graph Neural Networks

Abstract
• View article

Editorial: Special issue ISA 2023

Extract
• View article

Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments

Abstract
• View article

Influence of autoencoder latent space on classifying IoT CoAP attacks

Abstract
• View article

The higher dimensional propositional calculus

Abstract
• View article

Generic reasoning: A programmatic sketch

Abstract
• View article

Modal semantics for reasoning with probability and uncertainty

Abstract
• View article

The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae

Abstract
• View article

Modality across different logics

Abstract
• View article

The key universal quality of logical abductive inferences: Does optimization of eco-cognitive situatedness supersede other criteria like minimality, consistency, relevance and plausibility?

Abstract
• View article

Combinators as presheaves

Abstract
• View article