Sequent forms of Herbrand theorem and their applications

DOI10.1007/S10472-005-9017-7zbMath1103.03054OpenAlexW2080971555MaRDI QIDQ2502163

Yanyan Li

Publication date: 12 September 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-005-9017-7

zbMATH Keywords

validitydeducibilityHerbrand theoremunsatisfiabilitycoextensivityfirst-order classical logicsequent formalism

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Untersuchungen über das logische Schliessen. I
• A Machine-Oriented Logic Based on the Resolution Principle
• Foundations of Information and Knowledge Systems
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent forms of Herbrand theorem and their applications