𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ Scribed by R. Routley

Publisher
John Wiley and Sons
Year
1970
Tongue
English
Weight
890 KB
Volume
16
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On Some Completeness Theorems in Modal L
On Some Completeness Theorems in Modal Logic
✍ D. Makinson πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT
THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
✍ Mingsheng Ying πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 242 KB

## Abstract In [This Zeitschrift 25 (1979), 45‐52, 119‐134, 447‐464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generaliz

Glivenko like theorems in natural expans
Glivenko like theorems in natural expansions of BCK-logic
✍ Roberto Cignoli; Antoni Torrens Torrell πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 204 KB

## Abstract The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK‐logic with negation we understand an algebraizable logic whose language is an expansion of th