Intuitive minimal abduction in sequent calculi

DOI10.1007/BF02943189zbMath0899.68098OpenAlexW2032987426MaRDI QIDQ1389097

Xianping Tao, Bo Yi, Attilio Colagrossi, Gianna Cioni

Publication date: 1 November 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943189

zbMATH Keywords

sequent calculusabduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Analogy calculus
• Untersuchungen über das logische Schliessen. I
• Analogical type theory
• A sequent calculus for automated reasoning in symbolic computation systems
• Induction, pure and simple
• First order abduction via tableau and sequent calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitive minimal abduction in sequent calculi