Concepedia

A. S. Troelstra

AS

16

Publications

566

Citations

13

H-Index

1965

Active since

Affiliations

University of Amsterdam(Current)

Vrije Universiteit Amsterdam

A. S. Troelstra is an author at University of Amsterdam specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceBusinessGame TheoryDecision TheoryMechanism DesignBehavioral Decision MakingDesign

Publications per year

1965–1999

16

Publications

16

Formal systems for some branches of intuitionistic analysis

G. Kreisel, A. S. Troelstra · Annals of Mathematical Logic · 1970 · 181 citations

Intuitionistic Logic, Formal Systems, Constructive Mathematics +4

On Intermediate Propositional Logics

A. S. Troelstra · Indagationes Mathematicae (Proceedings) · 1965 · 60 citations

Non-classical Logic, Engineering, Automated Reasoning +5

On the connection of partially ordered sets with some pseudo-Boolean algebras

D.H.J. de Jongh, A. S. Troelstra · Indagationes Mathematicae (Proceedings) · 1966 · 55 citations

Order Theory, Algebraic Logic, Boolean Function +3

Note on the fan theorem

A. S. Troelstra · Journal of Symbolic Logic · 1974 · 47 citations

Spectral Theory, Constructive Mathematics, Continuity Schema +11

From constructivism to computer science

A. S. Troelstra · Theoretical Computer Science · 1999 · 30 citations

Computational Literacy, Design, Constructivism +3

Rows per page

1–5 of 16