𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Partial Horn logic and cartesian categories

✍ Scribed by E. Palmgren; S.J. Vickers

Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
664 KB
Volume
145
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Maximality of Cartesian Categories
The Maximality of Cartesian Categories
✍ Kosta DoΕ‘en; Zoran PetriΔ‡ πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 146 KB
N-Categories in Logic
N-Categories in Logic
✍ Agustin Riscos; Luis M. Laita πŸ“‚ Article πŸ“… 1987 πŸ› John Wiley and Sons 🌐 English βš– 512 KB
Continuous fuzzy Horn logic
Continuous fuzzy Horn logic
✍ VilΓ©m Vychodil πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 220 KB

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w. r. t. semantics over the unit interval [0, 1] with