Axioms for abstract model theory
From MaRDI portal
Publication:4087162
DOI10.1016/0003-4843(74)90016-3zbMath0324.02034OpenAlexW1974483963WikidataQ56519717 ScholiaQ56519717MaRDI QIDQ4087162
Publication date: 1974
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(74)90016-3
Related Items
On orderings of the family of all logics, LOGICALITY AND MODEL CLASSES, On the existence of free models in abstract algebraic institutions, On observational equivalence and algebraic specification, Toward formal development of programs from algebraic specifications: Implementations revisited, Quasi-varieties in abstract algebraic institutions, Ultraproducts and possible worlds semantics in institutions, Ultraproduct Invariant Logics, The Härtig quantifier: a survey, Category-based modularisation for equational logic programming, Maximal Logics, A note on syntactical and semantical functions, Specifications in an arbitrary institution, A shared framework for consequence operations and abstract model theory, Automatic synthesis of logical models for order-sorted first-order theories, Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic, On the universality of atomic and molecular logics via protologics, Essential concepts of algebraic specification and program development, On the semantics of the Henkin quantifier, A Lindström theorem for intuitionistic propositional logic, Model theoretic characterizations of large cardinals, Logic representation in LF, An introduction to category-based equational logic, Logics of Finite Hankel Rank, Abstract categorical logic, Inverse topological systems and compactness in abstract model theory, A Lindström theorem for intuitionistic first-order logic, MAXIMALITY OF LOGIC WITHOUT IDENTITY, Conservative translations revisited, INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY, Homomorphisms from Functional Equations in Probability, On complementedly normal lattices, A Lindström theorem in many-valued modal logic over a finite MTL-chain, Lindström theorems in graded model theory, Duality Between Logics and Equivalence Relations, Inner models from extended logics: Part 1, Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics, Probabilization of logics: completeness and decidability, A note on extensions of infinitary logic, Barwise: Abstract Model Theory and Generalized Quantifiers, General framework of structural similarity between system models, An institution-independent proof of the Beth definability theorem, Toward formal development of programs from algebraic specifications: Model-theoretic foundations, The old and the new logic of metascience, Global inductive definability, The Craig interpolation theorem in abstract model theory, Chain logic and Shelah's infinitary logic, Definability hierarchies of generalized quantifiers, An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, The role of the Omitting Types Theorem in infinitary logic, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, The theorems of beth and Craig in abstract model theory II. Compact logics, Extensions of countable infinitary logic which preserve most of its nice properties, Quantified modal logic: non-normal worlds and propositional attitudes, Calculus with the quantifier of elementary equivalence, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION, Positive results in abstract model theory: a theory of compact logics, A logical study of the correspondence relation, Relating CASL with other specification languages: the institution level., On conceptual completeness of syntactic-semantical systems, Logical operations and iterated infinitely deep languages, Interpolation, compactness and JEP in soft model theory
