Decidability of the weak interpolation property over the minimal logic

ISSN： 0002-5232

Source： Algebra and Logic, Vol.50, Iss.2, 2011-05, pp. : 106-132

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Interpolation and Definability in Extensions of the Minimal Logic

By Maksimova L.

Algebra and Logic, Vol. 44, Iss. 6, 2005-11 ,pp. : 407-421

Springer Publishing Company

Access to resources Recommend Favorite

Restricted Interpolation and the Projective Beth Property in Equational Logic

By Maksimova L. L.

Algebra and Logic, Vol. 42, Iss. 6, 2003-11 ,pp. : 398-406

Springer Publishing Company

Access to resources Recommend Favorite

The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic

By Stukachyova M. V.

Algebra and Logic, Vol. 43, Iss. 2, 2004-03 ,pp. : 132-141

Springer Publishing Company

Access to resources Recommend Favorite

Restricted interpolation over modal logic S4

By Maksimova L.

Algebra and Logic, Vol. 52, Iss. 4, 2013-09 ,pp. : 308-335

Springer Publishing Company

Access to resources Recommend Favorite

The decidability of dependency in intuitionistic propositional logic

The Journal of Symbolic Logic, Vol. 60, Iss. 2, 1995-06 ,pp. : 498-504

Cambridge University Press

Access to resources Recommend Favorite