Book review: Melvin Fitting. Computability theory, semantics, and logic programming
Notre Dame Journal of Formal Logic 31 (3):485-486 (1990)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesStephen Pollard (1997). Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW] Notre Dame Journal of Formal Logic 38 (3):475-480.
Alessandro Giordani (2013). A New Semantics for Systems of Logic of Essence. Studia Logica:1-30.
Melvin Fitting (1988). Pseudo-Boolean Valued Prolog. Studia Logica 47 (2):85 - 91.
Melvin Fitting (1997). A Theory of Truth That Prefers Falsehood. Journal of Philosophical Logic 26 (5):477-500.
Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
Melvin Fitting (1989). Bilattices and the Theory of Truth. Journal of Philosophical Logic 18 (3):225 - 256.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,602 of 549,012 )Recent downloads (6 months)1 ( #63,261 of 549,012 )How can I increase my downloads? |
My notes
Discussion
