𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Notion of Logical Consequence in the Logic of Inexact Predicates

✍ Scribed by John P. Cleave

Publisher
John Wiley and Sons
Year
1974
Tongue
English
Weight
902 KB
Volume
20
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The logical consequence relation of prop
The logical consequence relation of propositional tense logic
✍ S. K. Thomason πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 718 KB

This work concerns the model theory of propositional tense logic with the K R ~K E relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete l7: set, and (ii) that for 0 m < o + o there are formulas y,, such that all models of y m are isomorphic and h

The Axiom of Choice in Second-Order Pred
The Axiom of Choice in Second-Order Predicate Logic
✍ Christine Gaßner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in