论文信息 - Freeness in Classes Without Equality - 字舞流文

Freeness in Classes Without Equality

[1] Janusz Czelakowski. Matrices, primitive satisfaction and finitely based logics , 1983 .

[2] Tsuyoshi Fujiwara. On the construction of the least universal Horn class containing a given class , 1971 .

[3] S. Bloom. Some theorems on structural consequence operations , 1975 .

[4] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[5] Horst Herrlich,et al. Abstract and concrete categories , 1990 .

[6] J. Czelakowski. Logical matrices and the amalgamation property , 1982 .

[7] Janusz Czelakowski. Algebraic aspects of deduction theorems , 1985, Stud Logica.

[8] Hajnal Andréka,et al. The generalized completeness of Horn predicate-logic as a programming language , 1978, Acta Cybern..

[9] J. Czelakowski. Filter distributive logics , 1984 .

[10] Free algebras as subdirect products , 1980 .

[11] Janusz Czelakowski. Local deductions theorems , 1986, Stud Logica.

[12] Johann A. Makowsky,et al. Characterizing Specification Languages which Admit Initial Semantics , 1984, Theor. Comput. Sci..

[13] R. Elgueta. Characterization Classes Defined without Equality , 1997, Stud Logica.

[14] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[15] STEPHrN L. BLOOM,et al. Varieties of Ordered Algebras , 1976, J. Comput. Syst. Sci..