TR-2004019: Quantified LP
نویسنده
چکیده
An extension, QLP, of the propositional logic of explicit proofs, LP, is created, allowing quantification over proofs. The resulting logic is given an axiomatization, a Kripke-style semantics, and soundness and completeness are shown. It is shown that S4 embeds into the logic, when we translate the necessity operator using a quantifier: there exists an explicit proof. And it is shown that the propositional part of QLP is exactly LP. No connection with arithmetic provability is made.
منابع مشابه
Interrelationships between the phase diagrams of the two-component phospholipid bilayers.
Basic relationships between the phase diagrams, previously considered independent of each other, are described. Phase diagrams of two-component phosphatidylcholine/phosphatidylcholine (PC/PC), phosphatidylethanolamine/phosphatidylethanolamine (PE/PE), and PC/PE lipid membranes are systematically investigated by means of the Landau theory. While gradually changing the chain length of one of the ...
متن کاملNaturally arising CD4 CD25 regulatory T cells suppress the expansion of colitogenic CD4 CD44CD62L effector memory T cells
Kanai, T., K. Tanimoto, Y. Nemoto, R. Fujii, S. Makita, T. Totsuka, and M. Watanabe. Naturally arising CD4 CD25 regulatory T cells suppress the expansion of colitogenic CD4 CD44CD62L effector-memory T cells. Am J Physiol Gastrointest Liver Physiol 290: G1051–G1058, 2006. First published December 22, 2005; doi:10.1152/ajpgi.00429.2005.—Naturally arising CD4 CD25 regulatory T (TR) cells have been...
متن کاملTR-2006002: A Replacement Theorem for LP
The replacement theorem for classical and normal modal logics is a fundamental tool. It says that if A and B have been proved equivalent, occurrences of A in a formula may be replaced with occurrences of B to produce a formula equivalent to the original one. This theorem does not hold for LP, Logic of Proofs. A replacement for replacement is not simple to formulate. In this note I have provided...
متن کاملDimension free estimates for the oscillation of Riesz transforms
In this paper we establish dimension free Lp(Rn, |x|α) norm inequalities (1 < p < ∞) for the oscillation and variation of the Riesz transforms in Rn. In doing so we find Ap−weighted norm inequalities for the oscillation and the variation of the Hilbert transform in R. Some weighted transference results are also proved. INTRODUCTION Throughout (X,F , μ) will denote an arbitrary σ−finite measure ...
متن کاملFunctional comparisons of the lysophosphatidic acid receptors, LP(A1)/VZG-1/EDG-2, LP(A2)/EDG-4, and LP(A3)/EDG-7 in neuronal cell lines using a retrovirus expression system.
Lysophosphatidic acid (LPA) is a potent lipid mediator with diverse physiological actions on a wide variety of cells and tissues. Three cognate G-protein-coupled receptors have been identified as mammalian LPA receptors: LP(A1)/VZG-1/EDG-2, LP(A2)/EDG-4, and LP(A3)/EDG-7. The mouse forms of these genes were analyzed in rodent cell lines derived from nervous system cells that can express these r...
متن کامل