𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Many-Place Sequent Calculi for Finitely-Valued Logics

✍ Scribed by Alexej P. Pynko

Book ID
107509023
Publisher
SP Birkhäuser Verlag Basel
Year
2010
Tongue
English
Weight
424 KB
Volume
4
Category
Article
ISSN
1661-8297

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

New sequent calculi for Visser's Formal
New sequent calculi for Visser's Formal Propositional Logic
✍ Katsumasa Ishii 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

## Abstract Two cut‐free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic (FPL) are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei‐Ardeshir's calculi for

Kripke-style semantics for many-valued l
Kripke-style semantics for many-valued logics
✍ Franco Montagna; Lorenzo Sacchetti 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB

## Abstract This paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid