Skip to Main content Skip to Navigation
Book sections

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

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03208860
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 26, 2021 - 8:30:41 PM
Last modification on : Wednesday, April 28, 2021 - 3:11:05 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

28