Compositional truth with propositional tautologies and quantifier-free correctness.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 239, doi. 10.1007/s00153-023-00893-3
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2024 AND VI 63 AND IP 1/2
Results: 12
1
2
Cut elimination by unthreading.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 211, doi. 10.1007/s00153-023-00892-4
- By:
- Publication type:
- Article
3
Computable approximations of a chainable continuum with a computable endpoint.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 181, doi. 10.1007/s00153-023-00891-5
- By:
- Publication type:
- Article
4
Superrosiness and dense pairs of geometric structures.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 203, doi. 10.1007/s00153-023-00890-6
- By:
- Publication type:
- Article
5
Semi-honest subrecursive degrees and the collection rule in arithmetic.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 163, doi. 10.1007/s00153-023-00889-z
- By:
- Publication type:
- Article
6
Convergence of measures after adding a real.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 135, doi. 10.1007/s00153-023-00888-0
- By:
- Publication type:
- Article
7
A Mathias criterion for the Magidor iteration of Prikry forcings.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 119, doi. 10.1007/s00153-023-00887-1
- By:
- Publication type:
- Article
8
Effective weak and vague convergence of measures on the real line.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 225, doi. 10.1007/s00153-023-00886-2
- By:
- Publication type:
- Article
9
The fixed point and the Craig interpolation properties for sublogics of IL.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 1, doi. 10.1007/s00153-023-00882-6
- By:
- Publication type:
- Article
10
Revisiting the conservativity of fixpoints over intuitionistic arithmetic.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 61, doi. 10.1007/s00153-023-00878-2
- By:
- Publication type:
- Article
11
Herbrand complexity and the epsilon calculus with equality.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 89, doi. 10.1007/s00153-023-00877-3
- By:
- Publication type:
- Article
12
Turing degrees and randomness for continuous measures.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 1/2, p. 39, doi. 10.1007/s00153-023-00873-7
- By:
- Publication type:
- Article