𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sequent calculi for propositional star-free likelihood logic

✍ Scribed by R. Alonderis

Publisher
Springer
Year
2005
Tongue
English
Weight
131 KB
Volume
45
Category
Article
ISSN
0363-1672

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

Cut-free tableau calculi for some propos
Cut-free tableau calculi for some propositional normal modal logics
✍ Martin Amerbauer πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 700 KB

We give sound and complete tableau and sequent calculi for the propositional normal modal logics $4.04, K4B and G O (these logics axe the smallest normal modal logics containing K and the schemata [:]A -+ ODA, DA --+ A and D<)DA --+ (A --+ DA) ; DA -+ D[]A and A -+ D<>A ; DA --+ D[qA and D(D(A --+ D