Issue navigation
Volume 30, Issue 3, June 2022
Articles
Gödel justification logics and realization
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 343–408, https://doi.org/10.1093/jigpal/jzaa070
Dualities for Bounded Prelinear Hilbert Algebras
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 409–421, https://doi.org/10.1093/jigpal/jzab001
New Tableau Characterizations for Non-clausal MaxSAT Problem
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 422–436, https://doi.org/10.1093/jigpal/jzab012
Proof Systems for 3-valued Logics Based on Gödel’s Implication
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 437–453, https://doi.org/10.1093/jigpal/jzab013
Unification with parameters in the implication fragment of classical propositional logic
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 454–464, https://doi.org/10.1093/jigpal/jzab014
∞-Groupoid Generated by an Arbitrary Topological λ-Model
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 465–488, https://doi.org/10.1093/jigpal/jzab015
Tarski’s Undefinability Theorem and the Diagonal Lemma
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 489–498, https://doi.org/10.1093/jigpal/jzab016
Computability and the Symmetric Difference Operator
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 499–518, https://doi.org/10.1093/jigpal/jzab017
Undecidability of the Logic of Partial Quasiary Predicates
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 519–533, https://doi.org/10.1093/jigpal/jzab018
Restricted Rules of Inference and Paraconsistency
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 534–560, https://doi.org/10.1093/jigpal/jzab019
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Page 561, https://doi.org/10.1093/jigpal/jzz082
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Page 562, https://doi.org/10.1093/jigpal/jzaa030
