Handbook of tableau methods, Marcello D'Agostino, Dov M. Gabbay, Reiner hähnle, and Joachim posegga, eds
Journal of Logic, Language and Information 10 (4):518-523 (2001)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDov M. Gabbay (1974). A Generalization of the Concept of Intensional Semantics. Philosophia 4 (2-3):251-270.
Reiner Hähnle (1998). Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61 (1):101-121.
Marcello D'Agostino (1992). Are Tableaux an Improvement on Truth-Tables? Journal of Logic, Language and Information 1 (3):235-252.
Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
Anders Søgaard (2007). Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I. Studia Logica 87 (2-3).
Irving H. Anellis (2009). Handbook of the History of Logic, Volume 3: The Rise of Modern Logic From Leibniz to Frege By Dov M. Gabbay and John Woods (Eds.). Transactions of the Charles S. Peirce Society 45 (3):456-464.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,575 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
