✦ LIBER ✦

A formal framework for specifying sequent calculus proof systems

✍ Scribed by Miller, Dale; Pimentel, Elaine

Book ID: 122498895
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 479 KB
Volume: 474
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2012.12.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Upper Bounds for Proof-Search in a Seque

Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations

✍ Wolfgang Schönfeld 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 454 KB

A Sequent Calculus for Automated Reasoni

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

Sokrates-SA - A formal method for specif

Sokrates-SA - A formal method for specifying real-time systems

✍ Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 730 KB

A Uniform Procedure for Converting Matri

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems

✍ Christoph Kreitz; Stephan Schmitt 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 342 KB

A formal deductive system for fuzzy prop

A formal deductive system for fuzzy propositional calculus

✍ Wang Guojun 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 344 KB

A formal framework for interfacing mixed

A formal framework for interfacing mixed-timing systems

✍ Das, Shirshendu; Duggirala, Parasara Sridhar; Kapoor, Hemangee K. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 595 KB