Sciweavers

CORR
2002
Springer
99views Education» more  CORR 2002»
13 years 3 months ago
Nonmonotonic inference operations
A. Tarski 21] proposed the study of in nitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations...
Michael Freund, Daniel J. Lehmann