𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Applications of Kripke models to Heyting-Brouwer logic

✍ Scribed by Cecylia Rauszer

Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
509 KB
Volume
36
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the structure of kripke models of hey
On the structure of kripke models of heyting arithmetic
✍ Zoran MarkoviΔ‡ πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 456 KB πŸ‘ 1 views

## Abstract Since in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical str

Applications of propositional logic to w
Applications of propositional logic to workflow analysis
✍ GlΓ³ria Cravo πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 456 KB

In this paper our main goal is to describe the structure of workflows. A workflow is an abstraction of a business process that consists of one or more tasks to be executed to reach a final objective. In our approach we describe a workflow as a graph whose vertices represent workflow tasks and the ar