Cover Image

Intuitionism and computing with partial information

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ganchev, Hristo, Shafer, Paul, Slaman, Theodore A., Sorbi, Andrea, Soskova, Mariya I.
Format:	Preprint
Published:	2026
Subjects:	Logic 03B20, 03D30, 03G10, 06D20
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

A note on the degree structure of primitive recursive m-reducibility
by: Kalmurzayev, Birzhan, et al.
Published: (2023)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Conjunctive reducibilities and completeness
by: Chitaia, Irakli, et al.
Published: (2026)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

There is No Composition in the Computable Reducibility Degrees
by: Mourad, Daniel
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)