30 research outputs found
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality
Get PDFThe Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality
Get PDFWe study various extensions of Gentzen's sequent calculus obtained by adding rules for equality.
One of them is singled out as particularly natural and shown to satisfy full cut elimination, namely also atomic cuts can be eliminated.
Furthermore we tell apart the extensions that satisfy full cut elimination from those that do not and establish a strengthened form of the nonlenghtening property of Lifschitz and Orevkov
Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory
Full text linkThere are several first-order logic (FOL) axiomatizations of special
relativity theory in the literature, all looking essentially different but
claiming to axiomatize the same physical theory. In this paper, we elaborate a
comparison, in the framework of mathematical logic, between these FOL theories
for special relativity. For this comparison, we use a version of mathematical
definability theory in which new entities can also be defined besides new
relations over already available entities. In particular, we build an
interpretation of the reference-frame oriented theory SpecRel into the
observationally oriented Signalling theory of James Ax. This interpretation
provides SpecRel with an operational/experimental semantics. Then we make
precise, "quantitative" comparisons between these two theories via using the
notion of definitional equivalence. This is an application of logic to the
philosophy of science and physics in the spirit of Johan van Benthem's work.Comment: 27 pages, 8 figures. To appear in Springer Book series Trends in
Logi
Rappresentabilità ed equipollenza di teorie assiomatiche (II). Un\u27applicazione alla geometria « senza punti »
No full textNotas : educación de personas adultas
No full textPresenta un análisis de las caracterÃsticas de la educación de adultos en Uruguay donde un 21 por ciento de la población es analfabeta. Se centra en la Educación Secundaria, aunque no sea la única forma de educación media formal, ya que a través de la educación técnica también se puede acceder a un ciclo básico de educación media. Finalmente, analiza los centros que imparten la enseñanza secundaria, los liceos nocturnos, el tipo de alumnado que se matricula y los diversos planes de enseñanza con los que cuentan.MadridES
J. Zucker. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 (1974), pp. 1–112, and vol. 7, no. 2–3 (1974), pp. 113–156.
No full text
