scientific article; zbMATH DE number 5938111

MaRDI QIDQ5199098zbMATH OpenFDO

Authors Marie Duží, Pavel Materna

Publication date 11 August 2011

zbMATH Keywords

conceptsprocedural semanticsstructural meaningstransparent intensional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40)

Recommendations

• A notion of concept is either superfluous or procedural
• scientific article; zbMATH DE number 6423789
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• scientific article; zbMATH DE number 3900719
• scientific article; zbMATH DE number 2212542
• scientific article; zbMATH DE number 3843727
• scientific article; zbMATH DE number 3928368
• scientific article; zbMATH DE number 5347850
• scientific article; zbMATH DE number 4135924
• Transparent intensional logic. A challenge

Cited in

(7)

• The implicit definition of the set-concept
• Extensional Logic of Hyperintensions
• Algorithmic theories of problems. A constructive and a non-constructive approach
• What is a Higher-Level Set?
• A notion of concept is either superfluous or procedural
• Logic and sets
• scientific article; zbMATH DE number 2246077 (Why is no real title available?)

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 Q5199098)