Semantics-based nonmonotonic inference

DOI10.1305/ndjfl/1040308828zbMath0839.03012OpenAlexW2084571374MaRDI QIDQ1903578

Heinrich Wansing

Publication date: 29 January 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040308828

zbMATH Keywords

nonmonotonic logicintuitionistic logicnonmonotonic inferenceNelson's constructive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (7)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Displaying the modal logic of consistency ⋮ Towards a bridge over two approaches in connexive logic ⋮ A tableaux calculus for default intuitionistic logic ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic

Cites Work

• Non-monotonic logic. I
• Intuitionistic logic with strong negation
• The logic of information structures
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• Constructible falsity and inexact predicates
• Logic Programming with Strong Negation and Inexact Predicates
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics-based nonmonotonic inference