Fragments of first order logic, I: universal Horn logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|42|2|221-237

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.42, Iss.2, 1977-06, pp. : 221-237

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

Embedding first order predicate logic in fragments of intuitionistic logic

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 4, 1976-12 ,pp. : 705-718

Cambridge University Press

Access to resources Recommend Favorite

On the first-order logic of terms

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 2, 1973-06 ,pp. : 177-188

Cambridge University Press

Access to resources Recommend Favorite

GEOMETRISATION OF FIRST-ORDER LOGIC

By  

Bulletin of Symbolic Logic, Vol. 21, Iss. 2, 2015-06 ,pp. : 123-163

Cambridge University Press

Access to resources Recommend Favorite

Flat algebras and the translation of universal Horn logic to equational logic

By  

The Journal of Symbolic Logic, Vol. 73, Iss. 1, 2008-03 ,pp. : 90-128

Cambridge University Press

Access to resources Recommend Favorite

On the expressiveness of frame satisfiability and fragments of second-order logic

By  

The Journal of Symbolic Logic, Vol. 63, Iss. 1, 1998-03 ,pp. : 73-82

Cambridge University Press

Access to resources Recommend Favorite