Partial up an down logic

DOI10.1305/NDJFL/1040308832zbMATH Open0837.03026OpenAlexW2010630417MaRDI QIDQ1903583FDOQ1903583

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

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

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)

Cites Work

• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• The logic of information structures
• Title not available (Why is that?)
• Constructible falsity
• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic propositional logic is polynomial-space complete
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic logic with strong negation
• Generalized quantifiers and modal logic
• A semantical study of constructible falsity
• Title not available (Why is that?)
• On the strong semantical completeness of the intuitionistic predicate calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• Title not available (Why is that?)
• A system of dynamic modal logic
• Title not available (Why is that?)

Cited In (2)

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

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)