✦ LIBER ✦

A modal provability logic of explicit and implicit proofs

✍ Scribed by Evan Goris

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 830 KB
Volume: 161
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.07.020

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic of proofs and provability

✍ Tatiana Yavorskaya (Sidon) 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

A Companion to Philosophical Logic || Pr

A Companion to Philosophical Logic || Proofs and Expressiveness in Alethic Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 146 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Comparison of Implicit and Explicit Pa

A Comparison of Implicit and Explicit Parallel Programming

✍ Vincent W. Freeh 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 329 KB

a Only synchronization is termination detection. All shared data are read-only. b Edge sharing with neighbors. Compute maximum change between iterations. c Fork/join parallelism. No data sharing. d Decreasing work. Every iteration disseminate values to all. e Variable amount of work.

Explicit/implicit partitioning and a new

Explicit/implicit partitioning and a new explicit form of the generalized alpha method

✍ Daniel, W. J. T. 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

On a Certain System of Modal Logic

✍ Akira Nakamura 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB 👁 1 views

Explicit and implicit water simulations

Explicit and implicit water simulations of a β-hairpin peptide

✍ Buyong Ma; Ruth Nussinov 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 460 KB 👁 1 views

The conformational properties of a ␤-hairpin peptide (YITNSDGTWT) were studied by using both explicit and implicit water simulations. The conformational space of the peptide was scanned by using a restricted hydrogen-bonding search method. The search method used generated the conformational space wi