𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on Frege's semantics

✍ Scribed by Edwin Martin


Publisher
Springer Netherlands
Year
1974
Tongue
English
Weight
170 KB
Volume
25
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A paradox in Frege's semantics
✍ Milton Fisk πŸ“‚ Article πŸ“… 1963 πŸ› Springer Netherlands 🌐 English βš– 438 KB
A note on the stable model semantics for
✍ Michael Kaminski πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @