Issue navigation
Volume 35, Issue 2, March 2025
Articles
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad068, https://doi.org/10.1093/logcom/exad068
Fixed point theorems for minimal numberings
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad074, https://doi.org/10.1093/logcom/exad074
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad077, https://doi.org/10.1093/logcom/exad077
Coarsening natural deduction proofs II: finding gaunt proofs
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae003, https://doi.org/10.1093/logcom/exae003
On the conservation results for local reflection principles
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad076, https://doi.org/10.1093/logcom/exad076
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad078, https://doi.org/10.1093/logcom/exad078
Computably enumerable equivalence relations via primitive recursive reductions
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad082, https://doi.org/10.1093/logcom/exad082
Probability and natural deduction
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae007, https://doi.org/10.1093/logcom/exae007
An alternative definition of tense operators on residuated lattices
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae009, https://doi.org/10.1093/logcom/exae009
Low scattered linear orders
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae008, https://doi.org/10.1093/logcom/exae008
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae010, https://doi.org/10.1093/logcom/exae010
Changing the logic without changing the subject: the case of computability
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae015, https://doi.org/10.1093/logcom/exae015
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae014, https://doi.org/10.1093/logcom/exae014
Corner Articles
An encoding of abstract dialectical frameworks into higher-order logic
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad079, https://doi.org/10.1093/logcom/exad079
Bipolar Argumentation Frameworks with a dual relation between defeat and defence
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae006, https://doi.org/10.1093/logcom/exae006
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exae011, https://doi.org/10.1093/logcom/exae011
