E-LIB Suche - Ergebnisse für: Urquhart, Alasdair

1

A Logical Autobiography:

, In: Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs,

Urquhart, Alasdair - p. 1-21 , 2021

Link: https://doi.org/10.1007/..

2

Comments on the Contributions:

, In: Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs,

Urquhart, Alasdair - p. 571-586 , 2021

Link: https://doi.org/10.1007/..

3

Fine on Arbitrary Objects:

, In: Metaphysics, Meaning, and Modality,

Urquhart, Alasdair - p. 87-97 , 2020

Link: https://doi.org/10.1093/..

4

RUSSELL AND GÖDEL:

URQUHART, ALASDAIR
The Bulletin of Symbolic Logic. 22 (2016) 4 - p. 504-520 , 2016

Link: https://www.jstor.org/st..

5

S. Barry Cooper and Andrew Hodges (editors), The Once and F..:

Urquhart, Alasdair
The Bulletin of Symbolic Logic. 22 (2016) 3 - p. 354-356 , 2016

Link: https://doi.org/10.1017/..

6

RUSSELL AND GÖDEL:

URQUHART, ALASDAIR
The Bulletin of Symbolic Logic. 22 (2016) 4 - p. 504-520 , 2016

Link: https://doi.org/10.1017/..

7

Pavel Pudlák.Logical Foundations of Mathematics and Computa..:

Urquhart, Alasdair
Philosophia Mathematica. 23 (2015) 3 - p. 435-438 , 2015

Link: https://doi.org/10.1093/..

8

FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC ..:

MINTS, GRIGORI ; OLKHOVIKOV, GRIGORY ; URQUHART, ALASDAIR
The Journal of Symbolic Logic. 78 (2013) 3 - p. 937-950 , 2013

Link: https://www.jstor.org/st..

9

Henry M. Sheffer and Notational Relativity:

Urquhart, Alasdair
History and Philosophy of Logic. 33 (2012) 1 - p. 33-47 , 2012

Link: https://doi.org/10.1080/..

10

The Depth of Resolution Proofs:

Urquhart, Alasdair
Studia Logica. 99 (2011) 1-3 - p. 349-364 , 2011

Link: https://doi.org/10.1007/..

11

A Near-Optimal Separation of Regular and General Resolution:

Urquhart, Alasdair
SIAM Journal on Computing. 40 (2011) 1 - p. 107-121 , 2011

Link: https://doi.org/10.1137/..

12

The Depth of Resolution Proofs:

Urquhart, Alasdair
Studia Logica: An International Journal for Symbolic Logic. 99 (2011) 1/3 - p. 349-364 , 2011

Link: https://www.jstor.org/st..

13

Anderson and Belnap's Invitation to Sin:

Urquhart, Alasdair
Journal of Philosophical Logic. 39 (2010) 4 - p. 453-472 , 2010

Link: https://doi.org/10.1007/..

14

Anderson and Belnap's Invitation to Sin:

Urquhart, Alasdair
Journal of Philosophical Logic. 39 (2010) 4 - p. 453-472 , 2010

Link: https://www.jstor.org/st..

15

VON NEUMANN, GÖDEL AND COMPLEXITY THEORY:

URQUHART, ALASDAIR
The Bulletin of Symbolic Logic. 16 (2010) 4 - p. 516-530 , 2010

Link: https://www.jstor.org/st..