Proof search in Lax Logic

DOI10.1017/S0960129501003334zbMath0988.03036OpenAlexW2162615833WikidataQ128509541 ScholiaQ128509541MaRDI QIDQ2746761

Jacob M. Howe

Publication date: 7 March 2002

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003334

zbMATH Keywords

artificial intelligencenatural deductiondecision procedurelax logictheorem-provingGentzen sequent calculusproof-search calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Structural Focalization

This page was built for publication: Proof search in Lax Logic