Entity usage

Showing below up to 50 results in range #1 to #50.

1. A note on torsion modules with pure embeddings: Label: en
2. Definable version of Wedderburn-Artin theorem in o-minimal structures: Label: en
3. C. I. Lewis's intensional semantics: Label: en
4. Lower bounds of sets of P-points: Label: en
5. Substitutional validity for modal logic: Label: en
6. Weak Kleene and other weak logics of conditionals: Label: en
7. An invitation to extension domination: Label: en
8. Geometric modal logic: Label: en
9. Definability of Boolean functions in Kripke semantics: Label: en
10. Games on base matrices: Label: en
11. Dialetheias and numbers distinct from themselves: Label: en
12. A family of dp-minimal expansions of \((\mathbb{Z}; +)\): Label: en
13. Spiritus asper versus lambda: on the nature of functional abstraction: Label: en
14. A local version of the Slaman-Wehner theorem and families closed under finite differences: Label: en
15. Deduction theorem in congruential modal logics: Label: en
16. Witt vectors and separably closed fields with higher derivations: Label: en
17. Unitary representations of locally compact groups as metric structures: Label: en
18. Embeddings between partial combinatory algebras: Label: en
19. Bicontextualism: Label: en
20. Topologizing interpretable groups in \(p\)-adically closed fields: Label: en
21. Hierarchical multiverse of sets: Label: en
22. Identity and the cognitive value of logical equations in Frege's foundational project: Label: en
23. Topic-theoretic extensions of analytic implication: Label: en
24. Products of classes of finite structures: Label: en
25. There are no minimal effectively inseparable theories: Label: en
26. A completeness proof for a regular predicate logic with undefined truth value: Label: en
27. Core Gödel: Label: en
28. The complexity of decomposability of computable rings: Label: en
29. Ways things can't be: Label: en
30. Editor's introduction to the special issue on impossible worlds: Label: en
31. A classically-based theory of impossible worlds: Label: en
32. Inconsistency without contradiction: Label: en
33. The ontology of impossible worlds: Label: en
34. Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I.: Label: en
35. An unsolvable problem concerning implicational calculi.: Label: en
36. Bimodal logics with a ``weakly connected component without the finite model property: Label: en
37. On polynomial-time relation reducibility: Label: en
38. Infinite computations with random oracles: Label: en
39. Why intuitionistic relevant logic cannot be a core logic: Label: en
40. Dunn-Priest quotients of many-valued structures: Label: en
41. Normal numbers and limit computable Cantor series: Label: en
42. Infinitesimal comparisons: homomorphisms between Giordano's ring and the hyperreal field: Label: en
43. Concrete fibrations: Label: en
44. Universal structures: Label: en
45. Special issue on combining logics: Label: en
46. Combining algebraizable logics: Label: en
47. Dynamic bracketing and discourse representation: Label: en
48. Algebra and theory of order-deterministic pomsets: Label: en
49. Decidability results for metric and layered temporal logics: Label: en
50. Minimal temporal epistemic logic: Label: en