The degree of the set of sentences of predicate provability logic that are true under every interpretation1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|52|1|165-171

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.52, Iss.1, 1987-03, pp. : 165-171

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

Provability in predicate product logic

By Laskowski Michael  

Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. : 365-378

Springer Publishing Company

Access to resources Recommend Favorite

The complexity of the modal predicate logic of “true in every transitive model of ZF”

By  

The Journal of Symbolic Logic, Vol. 62, Iss. 4, 1997-12 ,pp. : 1371-1378

Cambridge University Press

Access to resources Recommend Favorite

Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉

By  

The Journal of Symbolic Logic, Vol. 36, Iss. 4, 1971-12 ,pp. : 607-609

Cambridge University Press

Access to resources Recommend Favorite

On sentences which are true of direct unions of algebras 1

By  

The Journal of Symbolic Logic, Vol. 16, Iss. 1, 1951-03 ,pp. : 14-21

Cambridge University Press

Access to resources Recommend Favorite

An intuitiomstic completeness theorem for intuitionistic predicate logic1

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 1, 1976-03 ,pp. : 159-166

Cambridge University Press

Access to resources Recommend Favorite