𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On lengths of proofs in non-classical logics

✍ Scribed by Pavel Hrubeš

Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
653 KB
Volume
157
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Convergence of residuated operators and
Convergence of residuated operators and connective stability of non-classical logics
✍ Sándor Jenei; Etienne E. Kerre 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Some of the results of Jenei (1993) are put in a more general setting in this paper. The convergence of the residuated connectives related to a sequence of left-continuous triangular norms to the residuated connective of the limit triangular norm is studied. Two su cient and necessary conditions are

On non-compact logics in NEXT(KTB)
On non-compact logics in NEXT(KTB)
✍ Zofia Kostrzycka 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

## Abstract In this paper we construct a continuum of logics, extensions of the modal logic **T~2~** = **KTB** ⊕ □^2^__p__ → □^3^__p__, which are non‐compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

ON SOME INTERPRETATIONS OF CLASSICAL LOG
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
✍ Branislav R. Boričić; B. R. Boričić 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

## Abstract In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such

A Constructive Proof of a Theorem in Rel
A Constructive Proof of a Theorem in Relevance Logic
✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B