A Simple Sequent System for First-Order Logic with Free Constructors - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 1999

A Simple Sequent System for First-Order Logic with Free Constructors

Dates and versions

hal-03208860 , version 1 (26-04-2021)

Identifiers

Cite

Jean Goubault-Larrecq. A Simple Sequent System for First-Order Logic with Free Constructors. Proceedings of the 8th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX'99), 1617, Springer, pp.202-216, 1999, Lecture Notes in Artificial Intelligence, ⟨10.1007/3-540-48754-9_19⟩. ⟨hal-03208860⟩

Collections

INRIA
15 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More