scientific article; zbMATH DE number 5010047

MaRDI QIDQ3373734zbMATH OpenFDO

Authors Julia Klinger

Publication date 8 March 2006

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)

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

Cited in

(5)

• Formal Concept Analysis
• 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

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)