An algebraic investigation of Linear Logic.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 893, doi. 10.1007/s00153-025-00969-2
- By:
- Publication type:
- Article
Works in Archive for Mathematical Logic, 2025, Vol 64, Issue 5
Results: 12
1
2
Symétrons et K-boucles ω-stables ω-stable symmetric spaces and K-loops.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 857, doi. 10.1007/s00153-025-00967-4
- By:
- Publication type:
- Article
3
On algebraic sums, trees and ideals in the Baire space.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 843, doi. 10.1007/s00153-025-00966-5
- By:
- Publication type:
- Article
4
Ordered abelian groups that do not have elimination of imaginaries.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 737, doi. 10.1007/s00153-025-00965-6
- By:
- Publication type:
- Article
5
The Nikodym property and filters on ω.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 705, doi. 10.1007/s00153-024-00964-z
- By:
- Publication type:
- Article
6
Restricted analytic valued fields with partial exponentiation.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 877, doi. 10.1007/s00153-024-00963-0
- By:
- Publication type:
- Article
7
Categories and functors in reverse and computable mathematics.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 637, doi. 10.1007/s00153-024-00962-1
- By:
- Publication type:
- Article
8
The algebra of ordinary discourse. On the semantics of Cooper's logic.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 795, doi. 10.1007/s00153-024-00961-2
- By:
- Publication type:
- Article
9
Conjunctions of exponential diophantine equations over Q.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 699, doi. 10.1007/s00153-024-00960-3
- By:
- Publication type:
- Article
10
Constructivity conditions on immune sets.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 819, doi. 10.1007/s00153-024-00958-x
- By:
- Publication type:
- Article
11
Axiomatizing modal inclusion logic and its variants.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 755, doi. 10.1007/s00153-024-00957-y
- By:
- Publication type:
- Article
12
The SB-property on metric structures.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 5, p. 669, doi. 10.1007/s00153-024-00949-y
- By:
- Publication type:
- Article