Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- The Lattice of Coalition Logics between MCL and CL: Coatoms and Compact Meets
- Weakly uniform computable categoricity and function composition
- Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
- A Kleene-inspired sequent system for a minimal logic of evidence and truth
- n-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems
- A generalised and modular proof-theoretic semantics for sequent systems
- A technical note on universal formula pcas
- The Compactness Theorem for Enriched Logic
- Models of Arbitrary Sets
- Indiscernible Extraction in Theories with Bounded k-splitting
- There is no maximal K-degree
- Herbrand Game Complexity
- Proof Perplexity: A Probabilistic Approach to Measuring non-triviality in Machine Generated Proofs
- What David Teaches Goliath: An Inevitable Extension of ZFC
- Finite index extensions of treeable equivalence relations are treeable
- A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving
- The rank problem for metric spaces
- Differential equations as difference-differential equations
- An undecidable problem in dynamics
- Discrete Temporal CSPs et al
- Local definable (p,q)-theorem and a refinement
- Bézout bounds and rational points on quasianalytic graphs
- Normalization by Evaluation with Substitutions as Operations
- Canonical expansions of ℝ𝒬-germs
- Extended Frege proofs, circuits and rewriting