𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Formulas of One Variable in Intuitionistic Propositional Calculus

✍ Scribed by Iwao Nishimura


Book ID
124964076
Publisher
Association for Symbolic Logic
Year
1960
Tongue
English
Weight
214 KB
Volume
25
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A modal calculus analogous toK4W, based
✍ Aldo Ursini πŸ“‚ Article πŸ“… 1979 πŸ› Springer Netherlands 🌐 English βš– 751 KB

This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the "provability" predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way. Completeness theorems, existence of a characte