Changing the logic without changing the subject: the case of computability.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae015
- By:
- Publication type:
- Article
Works matching IS 0955792X AND DT 2025 AND VI 35 AND IP 2
Results: 16
1
2
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae014
- By:
- Publication type:
- Article
3
Fuzzy bi-Gödel modal logic and its paraconsistent relatives.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae011
- By:
- Publication type:
- Article
4
☐ and ◇ in eight-valued non-deterministic semantics for modal logics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae010
- By:
- Publication type:
- Article
5
An alternative definition of tense operators on residuated lattices.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae009
- By:
- Publication type:
- Article
6
Low scattered linear orders.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae008
- By:
- Publication type:
- Article
7
Probability and natural deduction.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae007
- By:
- Publication type:
- Article
8
Bipolar Argumentation Frameworks with a dual relation between defeat and defence.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae006
- By:
- Publication type:
- Article
9
Coarsening natural deduction proofs II: finding gaunt proofs.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae003
- By:
- Publication type:
- Article
10
Computably enumerable equivalence relations via primitive recursive reductions.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad082
- By:
- Publication type:
- Article
11
An encoding of abstract dialectical frameworks into higher-order logic.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad079
- By:
- Publication type:
- Article
12
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad078
- By:
- Publication type:
- Article
13
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad077
- By:
- Publication type:
- Article
14
On the conservation results for local reflection principles.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad076
- By:
- Publication type:
- Article
15
Fixed point theorems for minimal numberings.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad074
- By:
- Publication type:
- Article
16
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exad068
- By:
- Publication type:
- Article