Sign in
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic.
Satoshi Nakata
Published in:
CSL (2024)
Keyphrases
</>
knowledge base
theoretical framework
theoretical basis
action theories
quantum mechanics
linear logic
database
neural network
fuzzy sets
partial order
theorem prover
set theory
interval valued