zbMath0418.03020MaRDI QIDQ3208633
Janusz Czelakowski
Publication date: 1979
zbMATH Keywords
consequence operations; omega-saturated matrices
Mathematics Subject Classification ID
03C50: Models with special properties (saturated, rigid, etc.)
03B99: General logic