✦ LIBER ✦

Proof Theories for Semilattice Logics

✍ Scribed by Steve Giambrone; Alasdaire Urquhart

Publisher: John Wiley and Sons
Year: 1987
Tongue: English
Weight: 400 KB
Volume: 33
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19870330507

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Further Results on Proof Theories For Se

Further Results on Proof Theories For Semilattice Logics

✍ Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 212 KB

On the Proof Theory of the Modal Logic G

On the Proof Theory of the Modal Logic Grz

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

Model Theory for Intuitionistic Logic

✍ Dov M. Gabbay 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 331 KB

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

Contributions to the Model Theory for No

Contributions to the Model Theory for Non-Classical Logics

✍ Bernd Dahn 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 485 KB 👁 2 views

Cumulative Higher-Order Logic as a Found

Cumulative Higher-Order Logic as a Foundation for Set Theory

✍ Wolfgang Degen; Jan Johannsen 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 388 KB