Search

Your search keyword '"COMPLETENESS theorem"' showing total 2,676 results

Search Constraints

Start Over You searched for: Descriptor "COMPLETENESS theorem" Remove constraint Descriptor: "COMPLETENESS theorem"
2,676 results on '"COMPLETENESS theorem"'

Search Results

1. Epistemic Logics for Relevant Reasoners.

2. On a class of third-order dissipative differential operator with distributional potentials.

3. ABOUT LOGICALLY PROBABLE SENTENCES.

4. Quantum computational finance for martingale asset pricing in incomplete markets.

5. Variational approach to a symmetric boundary value problem generated by a system of equations and separated boundary conditions.

6. On derivations of Leibniz algebras.

7. On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation.

8. FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM.

9. Discriminative Action Snippet Propagation Network for Weakly Supervised Temporal Action Localization.

10. Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.

11. The Tricomi–Neumann Problem for a Three-Dimensional Mixed-Type Equation with Singular Coefficients.

12. The Goal after Tomorrow: Offline Goal Reasoning with Norms.

13. Characterising galaxy clusters' completeness function in Planck.

17. Beyond the Existential Theory of the Reals.

18. LINEAR ABELIAN MODAL LOGIC.

19. IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?

20. Esakia duals of regular Heyting algebras.

21. Direct and Inverse Problems of Spectral Analysis for Arbitrary-Order Differential Operators with Nonintegrable Regular Singularities.

22. Forensic anthropologists and estimates of skeletal completeness: The impacts of training and experience.

23. Field Experiment for a Prequalification Scheme for a Distribution System Operator on Distributed Energy Resource Aggregations.

24. Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.

25. Some concepts of topology and questions in topological algebra.

26. On eigenfunctions and eigenvalues of a nonlocal Laplace operator with involution in a parallelepiped.

27. Weak relevant justification logics.

28. Asymptotic States and S -Matrix Operator in de Sitter Ambient Space Formalism.

29. Complexity of the Universal Theory of Residuated Ordered Groupoids.

30. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.

31. Deep cascaded action attention network for weakly-supervised temporal action localization.

32. NP-completeness of cell formation problem with grouping efficacy objective.

33. The SNR of a transit.

34. Numberings, c.e. oracles, and fixed points.

35. Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.

36. Quasigroups generated by shift registers and Feistel networks.

37. A topological completeness theorem for transfinite provability logic.

38. A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.

39. Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models †.

40. On intermediate justification logics.

42. An infinitary propositional probability logic.

43. 基于边缘引导的光场图像显著性检测.

44. Lipschitz Bernoulli Utility Functions.

45. Lacunary Statistical Convergence for Double Sequences on L - Fuzzy Normed Space.

46. SMART CHOICES AND THE SELECTION MONAD.

47. Pseudo-Almost Periodic Solutions in the Alpha-Norm and in Stepanov's Sense for some Evolution Equations.

48. THE LATTICE OF SUPER-BELNAP LOGICS.

49. On bicomplex 픹ℂ-modules lp한(픹ℂ) and some of their geometric properties.

50. Type space functors and interpretations in positive logic.

Catalog

Books, media, physical & digital resources