Partial up an down logic

DOI10.1305/NDJFL/1040308832MaRDI QIDQ1903583zbMATH OpenOpenAlexFDO

Authors Jan Jaspars

Publication date 11 December 1995

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

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

zbMATH Keywords

semanticscompletenessdecidabilityconstructive logicssequential calculilogic of constructible falsitylogics for reasoning about extension and reduction of partial information states

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1163565
• scientific article; zbMATH DE number 1163568
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• scientific article; zbMATH DE number 6287649
• scientific article; zbMATH DE number 3837994

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3755914 (Why is no real title available?)
• scientific article; zbMATH DE number 42736 (Why is no real title available?)
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• scientific article; zbMATH DE number 475184 (Why is no real title available?)
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1028816 (Why is no real title available?)
• scientific article; zbMATH DE number 757640 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3316031 (Why is no real title available?)
• A logic for default reasoning
• A semantical study of constructible falsity
• A system of dynamic modal logic
• Constructible falsity
• Constructivism in mathematics. An introduction. Volume I
• Generalized quantifiers and modal logic
• Intuitionistic logic with strong negation
• Intuitionistic propositional logic is polynomial-space complete
• On the strong semantical completeness of the intuitionistic predicate calculus
• The logic of information structures
• Vivid logic. Knowledge-based reasoning with two kinds of negation

Cited in

(3)

• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• A Logic for Partial System Description
• Local information and adaptive consequence

This page was built for publication: Partial up an down logic

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