𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Independent propositional modal logics

✍ Scribed by S. K. Thomason

Publisher
Springer Netherlands
Year
1980
Tongue
English
Weight
109 KB
Volume
39
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

Fuzzy propositional logics
Fuzzy propositional logics
✍ Siegfried Gottwald πŸ“‚ Article πŸ“… 1980 πŸ› Elsevier Science 🌐 English βš– 529 KB πŸ‘ 1 views
On fuzzification of propositional logics
On fuzzification of propositional logics
✍ Branislav BoričiΔ‡ πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 108 KB

By fuzziΓΏcation we mean a procedure which assigns a fuzzy logic to an arbitrary crisp logic. In this paper we describe two essentially di erent fuzziΓΏcation procedures. In order to give a formal description of the notion of fuzziness of a formula, we extend the language of the propositional logic by