The projective Beth property in well-composed logics

DOI10.1007/S10469-013-9227-8zbMATH Open1315.03046OpenAlexW2006585261MaRDI QIDQ384403FDOQ384403

Authors L. L. Maksimova

Publication date 27 November 2013

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-013-9227-8

zbMATH Keywords

decidabilityinterpolation propertyprojective Beth propertywell-composed logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Recommendations

• Interpolation and the projective Beth property in well-composed logics
• scientific article; zbMATH DE number 6302918
• The Projective Beth Property and Interpolation in Positive and Related Logics
• Interpolation and definability over the logic Gl
• The decidability of Craig's interpolation property in well-composed J-logics

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 1746556 (Why is no real title available?)
• scientific article; zbMATH DE number 1396683 (Why is no real title available?)
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• A Remark on the Intersection of Tow Logics
• A weak form of interpolation in equational logic
• Decidability of the weak interpolation property over the minimal logic
• Interpolation and Definability in Extensions of the Minimal Logic
• Interpolation and definability over the logic Gl
• Interpolation and joint consistency
• Interpolation and the projective Beth property in well-composed logics
• Intuitionistic logic and implicit definability
• Joint consistency in extensions of the minimal logic
• Logic of classical refutability and class of extensions of minimal logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The Projective Beth Property and Interpolation in Positive and Related Logics
• The decidability of Craig's interpolation property in well-composed J-logics
• The decidability of certain intermediate propositional logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(11)

• The Projective Beth Property and Interpolation in Positive and Related Logics
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• Hybrid extensions of the minimal logic
• Projective Beth property in extensions of Grzegorczyk logic
• Recognizable logics
• Extensions of the minimal logic and the interpolation problem
• Recognizable and perceptible logics and varieties
• Interpolation and the projective Beth property in well-composed logics
• Interpolation over the minimal logic and Odintsov intervals
• The interpolation problem in finite-layered pre-Heyting logics
• Decidability of the interpolation problem and of related properties in tabular logics

This page was built for publication: The projective Beth property in well-composed logics

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