Login / Signup
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection.
Kentaro Sato
Published in:
Ann. Pure Appl. Log. (2023)
Keyphrases
</>
model construction
theorem prover
natural deduction
linear logic
influence diagrams
cut elimination
sequent calculus
pose estimation
decision trees
high quality
training set
viewpoint
sufficient conditions