scientific article; zbMATH DE number 5010047

MaRDI QIDQ3373734zbMATH OpenFDO

Authors Julia Klinger

Publication date 8 March 2006

zbMATH Keywords

concept graphs with negationcontextual logicformal concept analysisformal contextsjudgmentsprotoconcept graphssemanticssyntax

Mathematics Subject Classification ID

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

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

(6)

• The logic system of concept graphs with negation. And its relationship to predicate logic.
• scientific article; zbMATH DE number 1226596 (Why is no real title available?)
• Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach
• From formal concept analysis to contextual logic
• Formal Concept Analysis
• Concept Lattices

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)