Partial up an down logic

DOI10.1305/ndjfl/1040308832zbMath0837.03026OpenAlexW2010630417MaRDI QIDQ1903583

Jan O. M. 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

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

Mathematics Subject Classification ID

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

Related Items

Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness

Cites Work

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