✦ LIBER ✦

Note on Structural Logics

✍ Scribed by Zbigniew Stachniak

Publisher: John Wiley and Sons
Year: 1985
Tongue: English
Weight: 228 KB
Volume: 31
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19850311906

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on dual-intuitionistic logic

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^−^.

A note on Grzegorczyk's logic

✍ Emil Jeřábek 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

Note on algebraic models for relevance l

Note on algebraic models for relevance logic

✍ Josep M. Font; Gonzalo Rodríguez 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB 👁 1 views

A Note on Pavelka's Fuzzy Logic

✍ Esko Turunen 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

A Note on Truth-Value Functions in the I

A Note on Truth-Value Functions in the Infinitely Many-Valued Logics

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

On n -contractive fuzzy logics

✍ Rostislav Horčík; Carles Noguera; Milan Petrík 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 285 KB

## Abstract It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since