Multivalued logics: a uniform approach to reasoning in AI
Computer Intelligence 4 (1):256--316 (1988)
| 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,631 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesCristina Coppola, Giangiacomo Gerla & Annamaria Miranda (2010). Point-Free Foundation of Geometry and Multivalued Logic. Notre Dame Journal of Formal Logic 51 (3):383-405.
Marta Bílková (2007). Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85 (1):1 - 31.
Yoav Shoham (1988). Efficient Reasoning About Rich Temporal Domains. Journal of Philosophical Logic 17 (4):443 - 474.
Jacek Hawranek (1987). On the Degree of Complexity of Sentential Logics, III. An Example of Johansson's Minimal Logic. Studia Logica 46 (4):283 - 289.
Franco Montagna (2012). Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Studia Logica 100 (1-2):289-317.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Dmitrij Skvortsov (2004). On Intermediate Predicate Logics of Some Finite Kripke Frames, I. Levelwise Uniform Trees. Studia Logica 77 (3):295 - 323.
Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard (2012). A Uniform Logic of Information Dynamics. In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-07-19Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
