A logical study of the correspondence relation

DOI10.1007/BF00297577zbMATH Open0545.03001OpenAlexW2045461689MaRDI QIDQ797569FDOQ797569

Authors: N. E. Zubov 

Publication date: 1984

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00297577

Recommendations

• Correspondence as an intertheory relation
• scientific article; zbMATH DE number 4047694
• Correspondence analysis for some fragments of classical propositional logic
• Correspondence theory in proof theory
• Publication:4896505
• scientific article; zbMATH DE number 52771
• scientific article; zbMATH DE number 1150148
• scientific article; zbMATH DE number 1852922
• scientific article; zbMATH DE number 1028833

zbMATH Keywords

Lorentz transformationsnonstandard modelsinfinitary logicscientific theoryGalilean transformationsstandard partlogical analysiscore fragments of classical and special relativistic particle mechanicsintertheory reductionlimiting case correspondencestandard approximation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Special relativity (83A05) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Cites Work

• Non-standard analysis
• Topoi. The categorial analysis of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logical structure of mathematical physics
• Title not available (Why is that?)
• Transformations of systems of relativistic particle mechanics
• Title not available (Why is that?)
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Title not available (Why is that?)
• Lectures on non-standard analysis
• Axioms for abstract model theory
• Intertheoretic approximation: The Kepler-Newton case
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing general models of theory dynamics

Cited In (6)

• Title not available (Why is that?)
• Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки
• Structural correspondence between theories and convergence to truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Correspondence as an intertheory relation

This page was built for publication: A logical study of the correspondence relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q797569)