🔮
🔮
The Ethereal
🏛️ The Logic Crypt
math.LO: Where Logic papers rest without their code.
58
Total Papers
0
No Code
55
Twilight
3
Has Code
5.2%
Survival Rate
🔮
🔮
The Ethereal
Dialectical Rough Sets, Parthood and Figures of Opposition-1
🔮
🔮
The Ethereal
Approximations from Anywhere and General Rough Sets
🔮
🔮
The Ethereal
Undecidability of the Lambek calculus with subexponential and bracket modalities
🔮
🔮
The Ethereal
A family of neighborhood contingency logics
🔮
🔮
The Ethereal
Idempotents in intensional type theory
🔮
🔮
The Ethereal
Generalized Ideals and Co-Granular Rough Sets
🔮
🔮
The Ethereal
Dimension 1 sequences are close to randoms
🔮
🔮
The Ethereal
Layerwise computability and image randomness
🔮
🔮
The Ethereal
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
🔮
🔮
The Ethereal
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
🔮
🔮
The Ethereal
The Complexity of Resilience Problems via Valued Constraint Satisfaction
🔮
🔮
The Ethereal
Lighthouse Principle for Diffusion in Social Networks
🔮
🔮
The Ethereal
Exploring the Landscape of Relational Syllogistic Logics
🔮
🔮
The Ethereal
On Deductive Systems of AC Semantics for Rough Sets
🔮
🔮
The Ethereal
A Geometric Framework for the Inconsistency in Pairwise Comparisons
🔮
🔮
The Ethereal
A Note on the Uniform Kan Condition in Nominal Cubical Sets
🔮
🔮
The Ethereal
The unstable formula theorem revisited via algorithms
🔮
🔮
The Ethereal
Kleene algebra with commutativity conditions is undecidable
🔮
🔮
The Ethereal
Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
🔮
🔮
The Ethereal
On embedding Lambek calculus into commutative categorial grammars
🔮
🔮
The Ethereal
Monotonous betting strategies in warped casinos
🔮
🔮
The Ethereal
Multirole Logic (Extended Abstract)
🔮
🔮
The Ethereal