scientific article; zbMATH DE number 2051381

MaRDI QIDQ4453637zbMATH OpenFDO

Authors Andreas Blass

Publication date 7 March 2004

zbMATH Keywords

classical predicate logicgame semantical validityHerbrand validity

Mathematics Subject Classification ID

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

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; zbMATH DE number 5851813
• Relevance for the classical logician
• scientific article; zbMATH DE number 4072926
• A substructural epistemic resource logic
• Intuitionistic choice and classical logic

Cited in

(4)

• Many concepts and two logics of algorithmic reduction
• Early examples of resource-consciousness
• On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}
• 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)