Academia.edu | People who have Intuitionistic Logic as a research interest (58)

Follow Richard

What is Following?

Following Richard's work means that, in your Academia.edu News Feed, you will see Richard's:

status updates
new papers
new research interests

and other research updates.

Richard Zach

University of Calgary

Faculty Member

Philosophy Department

Analytic Philosophy, Applied Philosophy, Computability Theory, and Computational Complexity Theory

Follow Giuseppe

What is Following?

Following Giuseppe's work means that, in your Academia.edu News Feed, you will see Giuseppe's:

status updates
new papers
new research interests

and other research updates.

Giuseppe Primiero

Ghent University

Post-Doc

Philosophy and Moral Sciences Department

Artificial Intelligence, Computational Logic, Computer Science, and Epistemic Logic

Follow Michael

What is Following?

Following Michael's work means that, in your Academia.edu News Feed, you will see Michael's:

status updates
new papers
new research interests

and other research updates.

Michael De

Utrecht University

Post-Doc

Philosophy Department

Computability Theory, Computational Logic, Computer Science, and Epistemology

Follow Hans

What is Following?

Following Hans's work means that, in your Academia.edu News Feed, you will see Hans's:

status updates
new papers
new research interests

and other research updates.

Hans Halvorson

Princeton University

Faculty Member

Philosophy Department

Category Theory, Logic And Foundations Of Mathematics, Philosophy Of Science, and Philosophy of Physics

Follow Nils

What is Following?

Following Nils's work means that, in your Academia.edu News Feed, you will see Nils's:

status updates
new papers
new research interests

and other research updates.

Nils Kürbis

The University of Sheffield

Faculty Member

Department of Philosophy

Aristotle, Bilateralism, Gottlob Frege, and Intuitionistic Logic

Follow Michael

What is Following?

Following Michael's work means that, in your Academia.edu News Feed, you will see Michael's:

status updates
new papers
new research interests

and other research updates.

Michael Fourman

University of Edinburgh

Faculty Member

Informatics Department

AI Planning (Artificial Intelligence), Artificial Intelligence, Automated Reasoning (Computer Science), and Category Theory

Follow Marco

What is Following?

Following Marco's work means that, in your Academia.edu News Feed, you will see Marco's:

status updates
new papers
new research interests

and other research updates.

Marco Benini

The University of Leeds

Faculty Member

Faculty of Mathematics and Physical Sciences

Category Theory, Formal Topology, Intuitionistic Logic, and Languages and Linguistics

Follow Ezra

What is Following?

Following Ezra's work means that, in your Academia.edu News Feed, you will see Ezra's:

status updates
new papers
new research interests

and other research updates.

Ezra Cook

Northwestern University

Graduate Student

Philosophy Department

A Priori Knowledge, Abstraction, Contextualism, and Epistemic Justification

Follow Joseph

What is Following?

Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Follow João

What is Following?

Following João's work means that, in your Academia.edu News Feed, you will see João's:

status updates
new papers
new research interests

and other research updates.

João Marcos

UFRN

Faculty Member

DIMAp Department

Algebraic (Symbolic) Computation, Computability Theory, Computational Logic, and Computational Mathematics

Follow Ronald

What is Following?

Following Ronald's work means that, in your Academia.edu News Feed, you will see Ronald's:

status updates
new papers
new research interests

and other research updates.

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Follow Corey

What is Following?

Following Corey's work means that, in your Academia.edu News Feed, you will see Corey's:

status updates
new papers
new research interests

and other research updates.

Corey Mulvihill

University of Waterloo

Graduate Student

Philosophy Department

Category Theory, Intuitionistic Logic, Lattice Theory, and Logic

Follow Joshua

What is Following?

Following Joshua's work means that, in your Academia.edu News Feed, you will see Joshua's:

status updates
new papers
new research interests

and other research updates.

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Follow Jon

What is Following?

Following Jon's work means that, in your Academia.edu News Feed, you will see Jon's:

status updates
new papers
new research interests

and other research updates.

Jon Hall

The Open University

Faculty Member

Research in Computing Department

Computational Logic, Computer Science, Concurrency Theory, and Design Theoretics

Follow Juliusz

What is Following?

Following Juliusz's work means that, in your Academia.edu News Feed, you will see Juliusz's:

status updates
new papers
new research interests

and other research updates.

Juliusz Doboszewski

Jagiellonian University

Undergraduate

Department of Mathematics and Computer Science

Branching time, Intuitionistic Logic, Logic, and Logic And Foundations Of Mathematics

Follow Loris

What is Following?

Following Loris's work means that, in your Academia.edu News Feed, you will see Loris's:

status updates
new papers
new research interests

and other research updates.

Loris Bozzato

Bruno Kessler Foundation

Post-Doc

Information Technology Department

Computational Logic, Description logics, Intuitionistic Logic, and Non-Classical Logic

Follow Adrian

What is Following?

Following Adrian's work means that, in your Academia.edu News Feed, you will see Adrian's:

status updates
new papers
new research interests

and other research updates.

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

Follow Martin

What is Following?

Following Martin's work means that, in your Academia.edu News Feed, you will see Martin's:

status updates
new papers
new research interests

and other research updates.

Martin Churchill

University of Bath

Graduate Student

Department of Computer Science

Algebra, Category Theory, Computability Theory, and Computational Logic

Follow Guilherme Frederico

What is Following?

Following Guilherme Frederico's work means that, in your Academia.edu News Feed, you will see Guilherme Frederico's:

status updates
new papers
new research interests

and other research updates.

Guilherme Frederico Lima

PUC-RJ

Graduate Student

Matemática Department

Algebra, Algebraic Geometry, Algebraic Topology, and Category Theory

Follow Yoichi

What is Following?

Following Yoichi's work means that, in your Academia.edu News Feed, you will see Yoichi's:

status updates
new papers
new research interests

and other research updates.

Yoichi Hirai

The University of Tokyo

Graduate Student

Computer Science Department

Computer Science, Intuitionistic Logic, Logic, and Modal Type Theory

Follow Laura

What is Following?

Following Laura's work means that, in your Academia.edu News Feed, you will see Laura's:

status updates
new papers
new research interests

and other research updates.

Laura Crosilla

The University of Leeds

Post-Doc

Mathematics Department

Constructive set theory, Formal Topology, Intuitionistic Logic, and Mathematical Logic

Follow Thomas

What is Following?

Following Thomas's work means that, in your Academia.edu News Feed, you will see Thomas's:

status updates
new papers
new research interests

and other research updates.

Thomas Hendrey

Monash University (Australia)

Undergraduate

School of Philosophical, Historical and International Studies

Animal Ethics, Economics, Harsanyi, and Intuitionistic Logic

Follow Elvio Giacomo

What is Following?

Following Elvio Giacomo's work means that, in your Academia.edu News Feed, you will see Elvio Giacomo's:

status updates
new papers
new research interests

and other research updates.

Elvio Giacomo Ceci

Università Degli Studi di Siena

Undergraduate

Dipartimento di Letterature Moderne e Scienze dei Linguaggi Department

Cognitive Semantics, Game Theory, Intuitionistic Logic, and Logic

Follow Eugene

What is Following?

Following Eugene's work means that, in your Academia.edu News Feed, you will see Eugene's:

status updates
new papers
new research interests

and other research updates.

Eugene Hlyzov

Omsk State University

Graduate Student

Computer Science Department

Algebra, Category Theory, Computational Complexity Theory, and Computer Science

Follow Eric

What is Following?

Following Eric's work means that, in your Academia.edu News Feed, you will see Eric's:

status updates
new papers
new research interests

and other research updates.

Intuitionistic Logic

What is Following?

Faculty Member

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Undergraduate

What is Following?

Post-Doc

What is Following?

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Undergraduate

What is Following?

Undergraduate

What is Following?

Graduate Student

What is Following?

Graduate Student

Log In

Reset Password