Imagen de Portada

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Nishiyama, Yumiko
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Structural Origin and the Minimal Syntax of NP-Hardness: Analysis of SAT from Syntactic Generativity and Compositional Collapse
por: Nishiyama, Yumiko
Publicado: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

The Complexity of the Constructive Master Modality
por: Santiago-Fernández, Sofía, et al.
Publicado: (2026)

On the Number of Quantifiers Needed to Define Boolean Functions
por: Carmosino, Marco, et al.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Constructive higher sheaf models with applications to synthetic mathematics
por: Coquand, Thierry, et al.
Publicado: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
por: de Groot, Jim, et al.
Publicado: (2026)

Functions Definable by Numerical Set-Expressions
por: Pratt-Hartmann, Ian, et al.
Publicado: (2009)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

The Algebra of Iterative Constructions
por: Batz, Kevin, et al.
Publicado: (2026)

Paraconsistent Constructive Modal Logic
por: Gao, Han, et al.
Publicado: (2025)

A Judgmental Construction of Directed Type Theory
por: Neumann, Jacob
Publicado: (2025)

A No-go Theorem for Coalgebraic Product Construction
por: Kori, Mayuko, et al.
Publicado: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
por: Atserias, Albert, et al.
Publicado: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
por: Fuchser, Janne, et al.
Publicado: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
por: Turkenburg, Ruben, et al.
Publicado: (2025)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
por: Yang, Bowen, et al.
Publicado: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
por: Watanabe, Kazuki, et al.
Publicado: (2024)

Further Comments on Yablo's Construction
por: Schlechta, Karl
Publicado: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
por: Kori, Mayuko, et al.
Publicado: (2026)

Constructing (Co)inductive Types via Large Sizes
por: Laarakker, Bastiaan, et al.
Publicado: (2026)

LEGO-like Small-Model Constructions for Åqvist's Logics
por: Rozplokhas, Dmitry
Publicado: (2024)

A Function-Set Framework: General Properties and Applications to Modal Logic
por: Bayzid, Luke, et al.
Publicado: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
por: Watanabe, Kazuki, et al.
Publicado: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
por: Wißmann, Thorsten, et al.
Publicado: (2024)

Constructive S4 modal logics with the finite birelational frame property
por: Balbiani, Philippe, et al.
Publicado: (2024)

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
por: Wang, Jingren, et al.
Publicado: (2026)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
por: Nechesov, Andrey
Publicado: (2024)

Definability and Interpolation in Philosophy
por: van Benthem, Johan
Publicado: (2026)

A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System
por: AP, Arif Ali, et al.
Publicado: (2025)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
por: Ambridge, Todd Waugh
Publicado: (2024)

Comodule Representations of Second-Order Functionals
por: Ahman, Danel, et al.
Publicado: (2024)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
por: Bryce, Aaron, et al.
Publicado: (2026)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)