Semantics-based nonmonotonic inference

DOI10.1305/NDJFL/1040308828zbMATH Open0839.03012OpenAlexW2084571374MaRDI QIDQ1903578FDOQ1903578

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

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

zbMATH Keywords

nonmonotonic inferenceintuitionistic logicnonmonotonic logicNelson's constructive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• The logic of information structures
• Title not available (Why is that?)
• Non-monotonic logic. I
• Constructible falsity and inexact predicates
• Intuitionistic logic with strong negation
• Logic Programming with Strong Negation and Inexact Predicates
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (26)

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