Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic.

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