Some characterization theorems for infinitary universal Horn logic without equality
type: Item
instance of: scholarly article
title: Some characterization theorems for infinitary universal Horn logic without equality
zbMATH Open document ID: 0871.03029
DOI: 10.2307/2275814
author: Ramon Jansana
author: Pilar Dellunde
published in: Journal of Symbolic Logic
publication date: 1997-04-16T00:00:00Z
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03C95
Mathematics Subject Classification ID: 08C10
zbMATH DE Number: 1000488
zbMATH Keywords: reduced Horn classes
zbMATH Keywords: preservation theorems
zbMATH Keywords: infinitary languages
zbMATH Keywords: universal Horn theory
zbMATH Keywords: reduced models
zbMATH Keywords: joint consistency
zbMATH Keywords: compactness
zbMATH Keywords: interpolation
zbMATH Keywords: definability
zbMATH Keywords: propositional logics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2275814
OpenAlex ID: W2004384679
cites work: Some theorems on structural consequence operations
cites work: Q4124795
cites work: Fragments of first order logic, I: universal Horn logic
cites work: Reduced products of logical matrices
cites work: Infinite games and reduced products
description: scientific article