Correction to: Conjunctive degrees and cylinders.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 194, doi. 10.1093/logcom/exae012
- Publication type:
- Article
Works matching IS 0955792X AND DT 2025 AND VI 35 AND IP 1
Results: 8
1
2
Numeral completeness of weak theories of arithmetic.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 172, doi. 10.1093/logcom/exad075
- By:
- Publication type:
- Article
3
Renovation sets and their applications in higher-order argumentation frameworks.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 147, doi. 10.1093/logcom/exad067
- By:
- Publication type:
- Article
4
Defining logical systems via algebraic constraints on proofs.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 95, doi. 10.1093/logcom/exad065
- By:
- Publication type:
- Article
5
Conjunctive degrees and cylinders.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 81, doi. 10.1093/logcom/exad064
- By:
- Publication type:
- Article
6
Projective relative unification through duality.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 57, doi. 10.1093/logcom/exad058
- By:
- Publication type:
- Article
7
Nondeterministic and nonconcurrent computational semantics for BB<sup>+</sup> and related logics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 36, doi. 10.1093/logcom/exad057
- By:
- Publication type:
- Article
8
Uncertainty-based knowing how logic.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 1, p. 1, doi. 10.1093/logcom/exad056
- By:
- Publication type:
- Article