scientific article; zbMATH DE number 5938111

zbMATH Open1246.03016MaRDI QIDQ5199098FDOQ5199098

Authors: Marie Duží, Pavel Materna 

Publication date: 11 August 2011

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

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

zbMATH Keywords

conceptstransparent intensional logicprocedural semanticsstructural meanings

Mathematics Subject Classification ID

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

Cited In (7)

• Extensional Logic of Hyperintensions
• Logic and sets
• A notion of concept is either superfluous or procedural
• What is a Higher-Level Set?
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Title not available (Why is that?)
• The implicit definition of the set-concept

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)