Conceptual and derivation systems

zbMATH Open1244.03030MaRDI QIDQ3105671FDOQ3105671

Authors: Jiří Raclavský, Petr Kuchyňka 

Publication date: 5 January 2012

Recommendations

• scientific article; zbMATH DE number 2212542
• scientific article; zbMATH DE number 4201691
• scientific article; zbMATH DE number 1552571
• Concept lattices and conceptual knowledge systems
• Conceptual Graphs and First Order Logic

zbMATH Keywords

deductionconceptsderivation systemsconceptual systems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited In (8)

• Explicating the notion of truth within transparent intensional logic
• Title not available (Why is that?)
• On descriptive systems
• Meaning and computing: two approaches to computable propositions
• Concept calculus: much better than
• Title not available (Why is that?)
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Title not available (Why is that?)

This page was built for publication: Conceptual and derivation systems

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