Nonmonotonic inference operations

DOI10.1093/jigpal/1.1.23zbMath0802.03023arXivcs/0202031OpenAlexW2593145844MaRDI QIDQ4291870

Michael Freund, Daniel J. Lehmann

Publication date: 15 May 1994

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0202031

zbMATH Keywords

nonmonotonic logicnonmonotonic reasoninginfinitary inference operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ Generalized compactness of nonmonotonic inference operations ⋮ Connectives in Cumulative Logics

This page was built for publication: Nonmonotonic inference operations