Gabbay, Dov M., (1945-)

概要

作品:	1 作品在 17 項出版品 2 種語言

書目資訊

Handbook of the logic of argument and inference = the turn towards the practical / by: Gabbay, Dov M., (1945-) (書目-語言資料,印刷品)

The functional interpretation of logical deduction by: Queiroz, Ruy J. G. B. de.; Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; World Scientific (Firm) (書目-語言資料,印刷品)

Non-deductive inferences in the Talmud / by: Schild, Uri J., (1940-); Gabbay, Dov M., (1945-); Abraham, Michael. (書目-語言資料,印刷品)

Handbook of temporal reasoning in artificial intelligence by: Fisher, Michael, (1962-); Gabbay, Dov M., (1945-); Vila, L. (書目-語言資料,印刷品)

Sets and extensions in the twentieth century / by: Gabbay, Dov M., (1945-); Woods, John; Kanamori, Akihiro. (書目-語言資料,印刷品)

The many valued and non-monotonic turn in logic by: Woods, John; Gabbay, Dov M., (1945-) (書目-語言資料,印刷品)

Handbook of the history of logic / by: Hartmann, Stephan; Gabbay, Dov M., (1945-); Woods, John (書目-語言資料,印刷品)

Handbook of the history of logic.. Vol. 11,. Logic: a history of its central concepts / by: Gabbay, Dov M., (1945-); Pelletier, Francis Jeffry, (1944-) (書目-語言資料,印刷品)

Handbook of paraconsistency / by: B�eziau, Jean-Yves.; Gabbay, Dov M., (1945-); Carnielli, Walter A.; World Congress on Paraconsistency (2003 :) (書目-語言資料,印刷品)

Agenda relevance = a study in formal pragmatics / by: Woods, John; Gabbay, Dov M., (1945-) (書目-語言資料,印刷品)

主題

Modality (Logic) Artificial intelligence. Temporal databases. Abduction (Logic) Computer logic. Nonclassical mathematical logic. Set theory. Reasoning. Quantum logic Many-valued logic. Logic. Logic Nonmonotonic reasoning. Inconsistency (Logic) Logic, Symbolic and mathematical.