Logic programming with sequent systems

DOI10.1007/BFb0038690zbMath1502.68056OpenAlexW1469104086MaRDI QIDQ5053003

Jean-Marc Andreoli, Remo Pareschi

Publication date: 26 November 2022

Published in: Extensions of Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

On proof normalization in linear logic ⋮ A game semantics for disjunctive logic programming ⋮ Development closed critical pairs

This page was built for publication: Logic programming with sequent systems