Natural Deduction, Hybrid Systems and Modal Logics, 2010 Trends in Logic Series, Vol. 30
Auteur : Indrzejczak Andrzej
Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.
Date de parution : 09-2012
Ouvrage de 492 p.
15.5x23.5 cm
Date de parution : 06-2010
Ouvrage de 492 p.
15.5x23.5 cm
Thèmes de Natural Deduction, Hybrid Systems and Modal Logics :
Mots-clés :
Classical logic; Frames; Hybrid logics; Hybrid systems; Natural deduction; Proof theory; Racter; Resolution; Temporal logics; logic; modal logic; proving