Abstract model theory as a framework for universal logic
From MaRDI portal
Recommendations
Cited in
(21)- Universal abstract consistency class and universal refutation
- Chain logic and Shelah's infinitary logic
- A Lindström theorem for intuitionistic propositional logic
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- A shared framework for consequence operations and abstract model theory
- Omitting uncountable types and the strength of \([0,1]\)-valued logics
- Positive logics
- Towards protologic
- Universal models and definability
- scientific article; zbMATH DE number 5316601 (Why is no real title available?)
- scientific article; zbMATH DE number 1960346 (Why is no real title available?)
- Applications of model theory to the study of ‘soft’ universals in language
- Recent successes with a meta-logical approach to universal logical reasoning (extended abstract)
- Universal logic as a science of patterns
- From consequence operator to universal logic: A survey of general abstract logic
- A topological approach to universal logic: Model-theoretical abstract logics
- A Lindström theorem for intuitionistic first-order logic
- Two traditions in abstract valuational model theory
- Representing model theory in a type-theoretical logical framework
- Expressive power and intensional operators
- Abstract logics as classifications of abstract structures
This page was built for publication: Abstract model theory as a framework for universal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311054)
