On conceptual completeness of syntactic-semantical systems

DOI10.1007/BF01849839MaRDI QIDQ798654zbMATH OpenFDO

Authors N. E. Zubov

Publication date 1985

Published in Periodica Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

semanticslinear logicmodelssyntaxnatural transformation2-categoryultraproductequational theoriespreservationtheoriesmodificationscylindric algebrasinterpretationsfirst-order theoriesclonesequational logicconcrete categoriesconceptual completenesssyntactic-semantical system

Mathematics Subject Classification ID

Abstract model theory (03C95) Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Module categories in associative algebras (16D90) Theories (e.g., algebraic theories), structure, and semantics (18C10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Completeness of full Lambek calculus for syntactic concept lattices
• On some extensions of syntactic concept lattices: completeness and finiteness results
• From compositional to systematic semantics
• Semantics and completeness for schematic logic
• Completeness and correspondence in Chellas-Segerberg semantics
• scientific article; zbMATH DE number 2152683
• scientific article; zbMATH DE number 1670774
• On the semantic equivalence of language syntax formalisms

Cites work

• scientific article; zbMATH DE number 3869328 (Why is no real title available?)
• scientific article; zbMATH DE number 3791620 (Why is no real title available?)
• scientific article; zbMATH DE number 3485778 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3499747 (Why is no real title available?)
• scientific article; zbMATH DE number 3526910 (Why is no real title available?)
• scientific article; zbMATH DE number 3528455 (Why is no real title available?)
• scientific article; zbMATH DE number 3528456 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 3433862 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3254929 (Why is no real title available?)
• scientific article; zbMATH DE number 3285279 (Why is no real title available?)
• scientific article; zbMATH DE number 3305134 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• scientific article; zbMATH DE number 3414502 (Why is no real title available?)
• A simple, purely algebraic proof of the completeness of some first order logics
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Adjointness in Foundations
• Aspects of topoi
• Axioms for abstract model theory
• Characterizing Mal'cev conditions
• Every two elementarily equivalent models have isomorphic ultrapowers
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Formal category theory: Adjointness for 2-categories
• Heterogeneous algebras
• Lawvere's elementary theories and polyadic and cylindric algebras
• Logische Kategorien
• Model theory
• On universal algebraic constructions of logics
• Representing varieties of algebras by algebras
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Cited in

(4)

• Logic, sheaves, and factorization systems
• On the fullness of certain functors
• Tie-breaking semantics and structural totality
• Cartesian logic

This page was built for publication: On conceptual completeness of syntactic-semantical systems

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