✦ LIBER ✦

A Logical Toolkit For Theory (re)construction

✍ Scribed by Jeroen Bruggeman; Ivar Vermeulen

Book ID: 108540643
Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 150 KB
Volume: 32
Category: Article
ISSN: 0081-1750
DOI: 10.1111/1467-9531.00115

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preservativity logic: An analogue of int

Preservativity logic: An analogue of interpretability logic for constructive theories

✍ Rosalie Iemhoff 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj

Custom Logic: A Toolkit for the Design o

Custom Logic: A Toolkit for the Design of VLSI Custom Control MOS Logic

✍ P. N. Bibilo; I. V. Vasil'kova; S. N. Kardash; N. A. Kirienko; I. P. Loginova; Y 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 135 KB

Logical basis for information theory and

Logical basis for information theory and probability theory

✍ Kolmogorov, A. 📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 474 KB

A Method for Constructing Implication Lo

A Method for Constructing Implication Logics

✍ Atwell R. Turquette 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 526 KB

A visibility—oriented construction syste

A visibility—oriented construction system for logic diagrams

✍ Takumi Hasegawa; Toshio Kadokura; Yoshiaki Fukazawa 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 664 KB

A finite model construction for coalgebr

A finite model construction for coalgebraic modal logic

✍ Lutz Schröder 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 235 KB