𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreted logical forms as objects of the attitudes

✍ Scribed by M. Dusche

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
987 KB
Volume
4
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The doctrine of logic as form
The doctrine of logic as form
✍ John Etchemendy πŸ“‚ Article πŸ“… 1983 πŸ› Springer Netherlands 🌐 English βš– 947 KB
A note on the normal form of closed form
A note on the normal form of closed formulas of interpretability logic
✍ Petr HΓ‘jek; VΓ­tΔ›zslav Ε vejdar πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 183 KB

Each dosed (i.e. variable f~ee) formula of interpretability logic is equivalent in ILF to a dosed formula of the provability logic G, thus to a Boolean combination of formulas of the form D ~ 3-. 1. Introduction. G stands for provability logic, i.e. for the modal propositional calculus whose axioms

An implementation of disk objects in the
An implementation of disk objects in the logical machine monitor
✍ Lian-Jou Tsai; Shang-Rong Tsai; Cheng-Liang Hou πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 157 KB πŸ‘ 1 views

User or program mobility in distributed computing systems is becoming increasingly significant, since users may sometimes change their working locations. This paper proposes a Logical Machine (LM) system that can effectively support software environment migration and resource mapping. The LM partiti

Multiple interpretations: Implications o
Multiple interpretations: Implications of FRBR as a boundary object
✍ Ingbert Floyd πŸ“‚ Article πŸ“… 2009 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 60 KB

## Abstract IFLA's Functional Requirements for Bibliographic Records (FRBR) is a model of the bibliographic universe. Any brief, critical review of the FRBR literature quickly shows that there is no clear consensus on the nature of the FRBR Group 1 entities. This situation becomes more complicated