DOI10.1007/BF00370339zbMath0536.03012MaRDI QIDQ791516
M. J. Cresswell
Publication date: 1982 Published in: Studia Logica (Search for Journal in Brave)
zbMATH Keywords
completenessurn logicurn modelsmaximal consistent setsnon-standard semantics for first-order logic
Mathematics Subject Classification ID
Other nonclassical logic (03B60)
Related Items
Cites Work