Semantics-based nonmonotonic inference

DOI10.1305/NDJFL/1040308828MaRDI QIDQ1903578zbMATH OpenOpenAlexFDO

Authors 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 inferenceintuitionistic logicnonmonotonic logicNelson's constructive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Nonmonotonic consequence based on intuitionistic logic
• scientific article; zbMATH DE number 4090838
• scientific article; zbMATH DE number 1882045
• Nonmonotonic reasoning based on incomplete logic
• A first order nonmonotonic extension of constructive logic

Cites work

• scientific article; zbMATH DE number 3884137 (Why is no real title available?)
• scientific article; zbMATH DE number 3755914 (Why is no real title available?)
• scientific article; zbMATH DE number 9973 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Constructible falsity and inexact predicates
• Intuitionistic logic with strong negation
• Logic Programming with Strong Negation and Inexact Predicates
• Non-monotonic logic. I
• The logic of information structures
• Vivid logic. Knowledge-based reasoning with two kinds of negation

Cited in

(26)

• scientific article; zbMATH DE number 1878043 (Why is no real title available?)
• A tableaux calculus for default intuitionistic logic
• A first order nonmonotonic extension of constructive logic
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Choosing your nonmonotonic logic: a shopper's guide
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Nelson algebras, residuated lattices and rough sets: A survey
• Nonmonotonic consequence based on intuitionistic logic
• Inferential Semantics
• Nonmonotonic inference operations
• Inferentializing semantics
• An axiomatization of Wansing's expansion of Nelson's logic
• Logics in Artificial Intelligence
• A nonmonotonic modal relevant sequent calculus
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• scientific article; zbMATH DE number 1882045 (Why is no real title available?)
• Displaying the modal logic of consistency
• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• scientific article; zbMATH DE number 4090838 (Why is no real title available?)
• Towards a bridge over two approaches in connexive logic
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Nonmonotonic inference based on expectations
• scientific article; zbMATH DE number 4137749 (Why is no real title available?)
• A nonmonotonic sequent calculus for inferentialist expressivists
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903578)