Theory of Completeness for Logical Spaces

@article{Gomi2009TheoryOC,
  title={Theory of Completeness for Logical Spaces},
  author={Kensaku Gomi},
  journal={Logica Universalis},
  year={2009},
  volume={3},
  pages={243-291}
}
  • Kensaku Gomi
  • Published 6 August 2009
  • Mathematics, Philosophy
  • Logica Universalis
A logical space is a pair $${(A, {\mathcal{B}})}$$ of a non-empty set A and a subset $${{\mathcal{B}}}$$ of $${{\mathcal{P}} A}$$ . Since $${{\mathcal{P}} A}$$ is identified with {0, 1}A and {0, 1} is a typical lattice, a pair $${(A, {\mathcal{F}})}$$ of a non-empty set A and a subset $${{\mathcal{F}}}$$ of $${{\mathbb{B}}^A}$$ for a certain lattice $${{\mathbb{B}}}$$ is also called a $${{\mathbb{B}}}$$ -valued functional logical space. A deduction system on A is a pair (R, D) of a subset D of… 
ON THE UNIFORM SIMPLICITY OF DIFFEOMORPHISM GROUPS
We show the uniform simplicity of the identity component Diff(M)0 of the group of Cr diffeomorphisms Diff (Mn) (1 ≤ r ≤ ∞, r = n+1) of the compact connected n-dimensional manifold Mn with handle
On existence of models for the logical system MPCL
We study whether a (Dedekind) cut has a model or not for the logical space of the logical system MPCL and for relations satisfying the MPC.1 law. The results depend on whether the quantity system is
On the uniform perfectness of the groups of diffeomorphisms of even-dimensional manifolds
We show that the identity component Diff(M)0 of the group of Cr diffeomorphisms of a compact (2m)-dimensional manifold M2m (1 ≤ r ≤ ∞, r = 2m + 1) is uniformly perfect for 2m ≥ 6, i.e., any element
A Completeness Theorem for the Logical System MPCL Designed for Mathematical Psychology
Our end in mathematical psychology is to construct and analyze and utilize a mathematical model of the human system of thinking, the outer world which human cognizes, and the relationship between
Homotopical Categories of Logics
Categories of logics and translations usually come with a natural notion of when a translation is an equivalence. The datum of a category with a distinguished class of weak equivalences places one
Foundations of Algebraic Logic
Newly formulated foundations of algebraic logic will be presented. Although it aims at applications to mathematical psychology, results within this paper is universal and so is expected to be applied
Uniqueness by Dirichlet-to-Neumann map on an arbitrary part of boundary in two dimensions by
We prove for a two dimensional bounded simply connected domain that the Cauchy data for the Schrodinger equation measured on an arbitrary open subset of the boundary determines uniquely the
On Kontsevich's characteristic classes for higher‐dimensional sphere bundles II: Higher classes
This paper studies Kontsevich's characteristic classes of smooth bundles with fibre in a ‘singularly framed’ odd‐dimensional homology sphere, which are defined through his graph complex and
Classification of Fuchsian systems and their connection problem (Exact WKB Analysis and Microlocal Analysis)
We review the Deligne-Simpson problem, a combinatorial structure of middle convolutions and their relation to a Kac-Moody root system discoverd by Crawley-Boevey. We show with examples that middle
Katz's middle convolution and Yokoyama's extending operation
We give a concrete relation between Katz's middle convolution and Yokoyama's extension and show the equivalence of both algorithms using these operations for the reduction of Fuchsian systems on the
...
...

References

SHOWING 1-10 OF 48 REFERENCES
The Schrödinger model for the minimal representation of the indefinite orthogonal group O(p, q)
The authors introduce a generalization of the Fourier transform, denoted by $\mathcal{F}_C$, on the isotropic cone $C$ associated to an indefinite quadratic form of signature $(n_1,n_2)$ on
The Completeness of the First-Order Functional Calculus
TLDR
This paper presents a new method of proof for the first-order functional calculus which requires less formal development of the system from the axioms and suggests a new approach to the problem of completeness for functional calculi of higher order.
On existence of models for the logical system MPCL
We study whether a (Dedekind) cut has a model or not for the logical space of the logical system MPCL and for relations satisfying the MPC.1 law. The results depend on whether the quantity system is
GRADUATE SCHOOL OF MATHEMATICAL SCIENCES KOMABA, TOKYO, JAPAN INVERSE HYPERBOLIC PROBLEM BY A FINITE TIME OF OBSERVATIONS WITH ARBITRARY INITIAL VALUES
We consider a solution u(p, g, a, b) to an initial value-boundary value problem for a hyperbolic equation: ∂ t u(x, t) = ∆u(x, t) + p(x)u(x, t), x ∈ Ω, 0 < t < T u(x, 0) = a(x), ∂tu(x, 0) = b(x), x ∈
A Completeness Theorem for the Logical System MPCL Designed for Mathematical Psychology
Our end in mathematical psychology is to construct and analyze and utilize a mathematical model of the human system of thinking, the outer world which human cognizes, and the relationship between
Groups of real analytic diffeomorphisms of the circle with a finite image under the rotation number function
We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with
The (g, K)-module structures of principal series of SU(2,2)
We completely describe the (g, K)-module structures of the principal series representations of SU (2, 2). Introduction. The purpose of this paper is to describe completely the (g, K)-module structure
Foundations of Algebraic Logic
Newly formulated foundations of algebraic logic will be presented. Although it aims at applications to mathematical psychology, results within this paper is universal and so is expected to be applied
Analysis and Estimation of Error Constants for P0 and P1 Interpolations over Triangular Finite Elements
We give some fundamental results on the error con- stants for the piecewise constant interpolation function and the piece- wise linear one over triangles. For the piecewise linear one, we mainly
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Jakina da Whiteheadek eta Russellek logika eta matematika eraiki dutela ageriko zenbait proposizio axiomatzat hartuz, eta horietatik, zehatz azaldutako inferentzia printzipioetan oinarrituz, logikako
...
...