نمایه‌‌ها

Petr Hájek

Petr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of Sciences

ایمیل تأیید شده در cs.cas.cz

بیان شده در 16773 یافته

logic mathematical logic set theory philosophical logic non-classical logics

CARLOS EDUARDO MALDONADO

Professor, Complexity Science, Universidad El Bosque

ایمیل تأیید شده در unbosque.edu.co

بیان شده در 7949 یافته

Philosophy Complexity Theory Non-Classical Logics

Heinrich Wansing

Ruhr-Universität Bochum

ایمیل تأیید شده در rub.de

بیان شده در 5307 یافته

philosophical logic non-classical logics contra-classical logics

Franco Montagna

(1948 - 2015) Università degli studi di Siena

بیان شده در 5091 یافته

logic mathematical logic non-classical logics algebraic logic

Jean-Yves Beziau

Professor of University of Brazil and Researcher CNPq

ایمیل تأیید شده در ufc.br

بیان شده در 4942 یافته

Non-Classical Logics Philosophy of Logic History of Logic Modal Logic Universal Logic

Petr Cintula

Institute of Computer Science, Czech Academy of Sciences

ایمیل تأیید شده در cs.cas.cz

بیان شده در 3327 یافته

logic mathematical logic algebraic logic non-classical logics philosophical logic

Josep Maria Font

Professor, Faculty of Mathematics, University of Barcelona (retired)

ایمیل تأیید شده در ub.edu

بیان شده در 2723 یافته

Algebraic logic Non-classical logics

Carles Noguera

Professor of Logic. Department of Information Engineering and Mathematics, University of …

ایمیل تأیید شده در unisi.it

بیان شده در 2304 یافته

Logic mathematical logic non-classical logics algebraic logic philosophical logic

Umberto Rivieccio

Assistant Professor, UNED (Madrid)

ایمیل تأیید شده در fsof.uned.es

بیان شده در 1176 یافته

Non-classical Logics Algebraic Logic Logic in Computer Science

Yoni Zohar

Bar Ilan University

ایمیل تأیید شده در biu.ac.il

بیان شده در 1143 یافته

Satisfiability Modulo Theories Formal Verification Proof Theory Non-classical Logics

1 - 10