Notice 1960 International Congress for Logic, Methodology and Philosophy of Science

doi:10.1017/S0022481200125848

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Dzik, Wojciech and Wroński, Andrzej 1973. Structural completeness of Gödel's and Dummett's propositional calculi. Studia Logica, Vol. 32, Issue. 1, p. 69.

Corsi, Giovanna 1986. Semantic trees for Dummett's logic LC. Studia Logica, Vol. 45, Issue. 2, p. 199.

Avron, Arnon 1991. Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence, Vol. 4, Issue. 3-4, p. 225.

Corsi, Giovanna 1992. Completeness theorem for dummett's LC quantified and some of its extensions. Studia Logica, Vol. 51, Issue. 2, p. 317.

Baaz, Matthias Ciabattoni, Agata Fermüller, Christian and Veith, Helmut 1998. Mathematical Foundations of Computer Science 1998. Vol. 1450, Issue. , p. 203.

Baaz, Matthias and Fermüller, Christian G. 1999. Automated Reasoning with Analytic Tableaux and Related Methods. Vol. 1617, Issue. , p. 36.

Buss, S. 1999. 1998 European Summer Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic, Vol. 5, Issue. 1, p. 59.

Baaz, Matthias Ciabattoni, Agata Fermüller, Christian and Veith, Helmut 1999. Foundations of Software Technology and Theoretical Computer Science. Vol. 1738, Issue. , p. 258.

Baaz, Matthias and Veith, Helmut 1999. Computer Science Logic. Vol. 1584, Issue. , p. 399.

Avron, Arnon 2000. Automated Reasoning with Analytic Tableaux and Related Methods. Vol. 1847, Issue. , p. 98.

Preining, Norbert 2002. Logic for Programming, Artificial Intelligence, and Reasoning. Vol. 2514, Issue. , p. 327.

Baaz, Matthias and Ciabattoni, Agata 2002. Automated Reasoning with Analytic Tableaux and Related Methods. Vol. 2381, Issue. , p. 24.

Larchey-Wendling, Dominique 2002. Automated Deduction—CADE-18. Vol. 2392, Issue. , p. 94.

Avron, Arnon 2003. Beyond Two: Theory and Applications of Multiple-Valued Logic. Vol. 114, Issue. , p. 117.

Baaz, Matthias Ciabattoni, Agata and Fermüller, Christian G. 2003. Beyond Two: Theory and Applications of Multiple-Valued Logic. Vol. 114, Issue. , p. 157.

Larchey-Wendling, Dominique 2004. Automated Reasoning. Vol. 3097, Issue. , p. 274.

Ciabattoni, Agata 2005. A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Archive for Mathematical Logic, Vol. 44, Issue. 4, p. 435.

Larchey-Wendling, Dominique 2005. Logic for Programming, Artificial Intelligence, and Reasoning. Vol. 3835, Issue. , p. 682.

Iemhoff, Rosalie 2006. On the rules of intermediate logics. Archive for Mathematical Logic, Vol. 45, Issue. 5, p. 581.

Larchey-Wendling, Dominique 2007. Graph-based Decision for Gödel-Dummett Logics. Journal of Automated Reasoning, Vol. 38, Issue. 1-3, p. 201.

Download full list

Article contents

Notice 1960 International Congress for Logic, Methodology and Philosophy of Science

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

Notice 1960 International Congress for Logic, Methodology and Philosophy of Science

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests