scientific article; zbMATH DE number 5010047

zbMATH Open1098.03027MaRDI QIDQ3373734FDOQ3373734

Authors: Julia Klinger 

Publication date: 8 March 2006

Title of this publication is not available (Why is that?)

Recommendations

• Logic beyond formulas: a proof system on graphs
• A graph-theoretic account of logics
• Conceptual Graphs and First Order Logic
• scientific article; zbMATH DE number 1827085
• scientific article; zbMATH DE number 1670910
• Concept Lattices
• Graph theoretical structures in logic programs and default theories
• A graph calculus for predicate logic
• An Analytic Propositional Proof System on Graphs

zbMATH Keywords

formal concept analysissemanticssyntaxformal contextscontextual logicjudgmentsconcept graphs with negationprotoconcept graphs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Cited In (5)

• Concept Lattices
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach
• From formal concept analysis to contextual logic
• Formal Concept Analysis

This page was built for publication:

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