Craig's interpolation property in pretabular logics

DOI10.1134/S0037446624020095MaRDI QIDQ6203335FDOQ6203335

L. L. Maksimova, Veta Fedorovna Yun

Publication date: 27 March 2024

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

minimal logicinterpolation propertypretabular logictabularity

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Model theory (03Cxx) General logic (03Bxx)

Cites Work

• Title not available (Why is that?)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Title not available (Why is that?)
• Logic of classical refutability and class of extensions of minimal logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recognizable logics
• Layers over minimal logic
• The tabularity problem over the minimal logic
• The interpolation problem in finite-layered pre-Heyting logics

Cited In (1)

• Pretabularity and Craig's interpolation property

This page was built for publication: Craig's interpolation property in pretabular logics

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