Skip to results
1-20 of 3597
Subject: Logic
Select how you would like to sort the search results
Journal
Logic Journal of the IGPL
Publishes papers in all areas of pure and applied logic, algorithms in cognition, and informatics and logic. Published under licence from Professor Dov Gabbay.
Journal Article
A relational framework for preference change
Get access
Theofanis Aravanis
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzag003, https://doi.org/10.1093/jigpal/jzag003
Published: 09 March 2026
Journal Article
Decomposability of ℝ and dense negative subsets of ℝ in constructive reverse mathematics
Get access
Mohammad Ardeshir and Mohammad Tahmasbizadeh
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf092, https://doi.org/10.1093/jigpal/jzaf092
Published: 05 March 2026
Journal Article
A note on cut-elimination for intuitionistic logic with actuality
Get access
Fabio De Martin Polo
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf053, https://doi.org/10.1093/jigpal/jzaf053
Published: 03 March 2026
Journal Article
Editorial: Special issue SOCO 2023
Get access
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf036, https://doi.org/10.1093/jigpal/jzaf036
Published: 17 February 2026
Journal Article
PSPACE-completeness of bimodal transitive weak-density logic
Get access
Olivier Gasquet
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf097, https://doi.org/10.1093/jigpal/jzaf097
Published: 17 February 2026
Journal Article
Development of virtual sensors using multi-plant data for wastewater treatment applications: a case study on nitrogen prediction in effluents Open Access
Míriam Timiraos and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf035, https://doi.org/10.1093/jigpal/jzaf035
Published: 17 February 2026
Journal Article
Some properties of T-supplemented modules
Get access
Celil Nebiyev and Hasan Hûseyin Ökten
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzag004, https://doi.org/10.1093/jigpal/jzag004
Published: 17 February 2026
Journal Article
Notes on type-free axiomatic theories of positive truth
Get access
Dawei Liu and Wei Xiong
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzag005, https://doi.org/10.1093/jigpal/jzag005
Published: 17 February 2026
Journal Article
Forecasting livestock activity through interpretable neuroevolutionary transfer learning
Get access
Aymeric Vellinger and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf034, https://doi.org/10.1093/jigpal/jzaf034
Published: 16 February 2026
Journal Article
SHWFS image-based wavefront prediction for adaptive optics using convolutional LSTM
Get access
Saúl Pérez and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf033, https://doi.org/10.1093/jigpal/jzaf033
Published: 16 February 2026
Journal Article
Prioritization of machines in production industry using fuzzy risk assessment
Get access
Dagmara Łapczyńska
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf029, https://doi.org/10.1093/jigpal/jzaf029
Published: 16 February 2026
Journal Article
Contrastive learning of prototypical network for detecting phishing URL
Get access
Jaeil Park and Sung-Bae Cho
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf023, https://doi.org/10.1093/jigpal/jzaf023
Published: 13 February 2026
Journal Article
Comparing deep neural networks to tree-based machine learning methods for anomaly detection in IIoT
Get access
Nicholas Jeffrey and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf017, https://doi.org/10.1093/jigpal/jzaf017
Published: 13 February 2026
Journal Article
Ensemble-based fake news and disinformation detection using crowdsourced dataset
Get access
Gracjan Kątek and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf014, https://doi.org/10.1093/jigpal/jzaf014
Published: 13 February 2026
Journal Article
Failure and anomaly detection for automatic meter reading network in intelligent water system
Get access
Łukasz Saganowski and Tomasz Andrysiak
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf025, https://doi.org/10.1093/jigpal/jzaf025
Published: 13 February 2026
Journal Article
Understanding the black box: Android malware detection through Explainable AI
Get access
Alberto Miranda-Garcia and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf018, https://doi.org/10.1093/jigpal/jzaf018
Published: 13 February 2026
Journal Article
A didactic overview of Transformer applications: model variations and user guidelines Open Access
MI Cabrera-Bermejo and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf040, https://doi.org/10.1093/jigpal/jzaf040
Published: 03 February 2026
Journal Article
Information types in intuitionistic predicate logic with constant domains
Get access
Vít Punčochář and Carles Noguera
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf057, https://doi.org/10.1093/jigpal/jzaf057
Published: 30 January 2026
Journal Article
Exploring quantum edge detection for sheep body contours in images
Get access
Santiago Merino Bajo and others
Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf030, https://doi.org/10.1093/jigpal/jzaf030
Published: 29 January 2026
Advertisement
Advertisement