𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic axiomatization of tense intuitionistic logic

✍ Scribed by Ivan Chajda

Book ID
111488751
Publisher
SP Versita
Year
2011
Tongue
English
Weight
290 KB
Volume
9
Category
Article
ISSN
1895-1074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The method of axiomatic rejection for th
The method of axiomatic rejection for the intuitionistic propositional logic
✍ Rafal Dutkiewicz πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 580 KB

We prove that the intuitionistic sentential calculus is L-decidable (decidable in the sense of Lukasiewicz), i.e. the sets of theses of Int and of rejected formulas are disjoint and their union is equal to all formulas. A formula is rejected iff it is a sentential variable or is obtained from other