Friendliness and Sympathy in Logic
暂无分享,去创建一个
[1] Evert W. Beth,et al. On Padoa’s Method in the Theory of Definition , 1953 .
[2] David Makinson. Friendliness for Logicians , 2005, We Will Show Them!.
[3] R. Jeffrey. Formal Logic: Its Scope and Limits , 1981 .
[4] M. de Rijke,et al. Logic, Language and Computation , 1997 .
[5] R. L. Goodstein,et al. A Method in Proofs of Undefinability , 1960, The Mathematical Gazette.
[6] J. Sneed,et al. The Logical Structure of Mathematical Physics , 1971 .
[7] R. Parikh. Beliefs, belief revision, and splitting languages , 1999 .
[8] Patrick Suppes,et al. Introduction To Logic , 1958 .
[9] Andreas Weber,et al. Updating Propositional Formulas , 1986, Expert Database Conf..
[10] F. Ramsey. The Foundations of Mathematics and Other Logical Essays , 2001 .
[11] V. Rantala,et al. Definitions and Definability , 1991 .
[12] Alessandro Padoa. Essai d'une théorie algébrique des nombres entiers, précédé d’une Introduction logique à une theorie déductive quelconque , 1901 .
[13] David Makinson,et al. Bridges from classical to nonmonotonic logic , 2005, Texts in computing.
[14] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[15] George Boole,et al. The mathematical analysis of logic , 1948 .
[16] A. Pietruszczak. The consequence relation preserving logical information , 2004 .