scientific article; zbMATH DE number 2051381

zbMATH Open1038.03009MaRDI QIDQ4453637FDOQ4453637

Andreas Blass

Publication date: 7 March 2004

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

Recommendations

• Classical BI
• A resource-sensitive logic of agency
• Logic and the classical theory of mind
• A classical logic of existence and essence
• scientific article; zbMATH DE number 6787706
• scientific article
• Relevance for the classical logician
• scientific article
• A substructural epistemic resource logic
• Intuitionistic choice and classical logic

zbMATH Keywords

classical predicate logicgame semantical validityHerbrand validity

Mathematics Subject Classification ID

Applications of game theory (91A80) Classical first-order logic (03B10) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (3)

• Many concepts and two logics of algorithmic reduction
• Early examples of resource-consciousness
• Classical BI

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