8 papers
Ultraconstructive Model Theory via Bounded Adversarial Finite Structures
Mirco A. Mannucci
Ultraconstructive Model Theory (UCMT) replaces idealized satisfaction, at finite compu- tational scale, by bounded adversarial survival. A finite partial structure is tested by an…
Quantum Fuzzy Sets Revisited: Density Matrices, Decoherence, and the Q-Matrix Framework
Mirco A. Mannucci
In 2006 we proposed Quantum Fuzzy Sets, observing that states of a quantum register could serve as characteristic functions of fuzzy subsets, embedding Zadeh's unit interval into t…
Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
Mirco A. Mannucci, Corey Thuro
We extend resource-bounded type theory to Martin-Lof type theory (MLTT) with dependent types, enabling size-indexed cost bounds for programs over inductive families. We introduce a…
Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
Mirco A. Mannucci, Corey Thuro
We present a compositional framework for certifying resource bounds in typed programs. Terms are typed with synthesized bounds drawn from an abstract resource lattice, enabling uni…
Solution Space Topology Guides CMTS Search
Mirco A. Mannucci
A fundamental question in search-guided AI: what topology should guide Monte Carlo Tree Search (MCTS) in puzzle solving? Prior work applied topological features to guide MCTS in AR…
Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
Mirco A. Mannucci
GANs promise indistinguishability, logic explains it. We put the two on a budget: a discriminator that can only ``see'' up to a logical depth , and a generator that must look co…