𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Method for Constructing Implication Logics

✍ Scribed by Atwell R. Turquette

Publisher
John Wiley and Sons
Year
1966
Tongue
English
Weight
526 KB
Volume
12
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Preservativity logic: An analogue of int
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj

Method for constructing confidently orde
Method for constructing confidently ordered linkage maps
✍ Karl W. Broman; James L. Weber πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 51 KB

We describe a method for identifying, from a comprehensive genetic map, the most dense framework of confidently ordered markers. The approach uses the number of observed recombination events between each pair of markers, and finds the largest subset of markers for which adjacent loci are separated b