On conceptual completeness of syntactic-semantical systems
DOI10.1007/BF01849839zbMATH Open0547.03047MaRDI QIDQ798654FDOQ798654
Publication date: 1985
Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)
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
semanticslinear logicmodelssyntaxnatural transformation2-categoryultraproductequational theoriespreservationtheoriesmodificationscylindric algebrasinterpretationsfirst-order theoriesclonesequational logicconcrete categoriesconceptual completenesssyntactic-semantical system
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)
Cites Work
- Model theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Characterizing Mal'cev conditions
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Heterogeneous algebras
- Every two elementarily equivalent models have isomorphic ultrapowers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representing varieties of algebras by algebras
- Title not available (Why is that?)
- Adjointness in Foundations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Aspects of topoi
- Formal category theory: Adjointness for 2-categories
- Title not available (Why is that?)
- On universal algebraic constructions of logics
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Axioms for abstract model theory
- A simple, purely algebraic proof of the completeness of some first order logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lawvere's elementary theories and polyadic and cylindric algebras
- Logische Kategorien
- Title not available (Why is that?)
Cited In (4)
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)
