The following pages link to Axioms for abstract model theory (Q4087162):
Displaying 14 items.
- Homomorphisms from Functional Equations in Probability (Q4605219) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Logic representation in LF (Q5096264) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)
- Inner models from extended logics: Part 1 (Q5156477) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Abstract categorical logic (Q6043096) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
- Conservative translations revisited (Q6156208) (← links)
- A logical consequence informed by probability (Q6633057) (← links)
