Concepedia

Guido Küng

GK

9

Publications

351

Citations

9

H-Index

1964

Active since

Affiliations

University of Notre Dame(Current)

University of Fribourg

Guido Küng is an author at University of Notre Dame specializing in automated reasoning, linguistics, and language studies.

Top concepts

Automated ReasoningLanguageLinguisticsPhilosophy Of LanguageSyntaxSemanticsHumanitiesFormal SemanticsCognitionBiometrics

Publications per year

1964–1988

9

Publications

9

Husserl and Intentionality: A Study of Mind, Meaning and Language.

Guido Küng, David Woodruff Smith, Ronald McIntyre · Noûs · 1988 · 140 citations

Psycholinguistics, Cognition, Cognitive Pragmatic +18

Substitutional quantification and Leśniewskian quantifiers

Guido Küng, John Thomas Canty · Theoria · 1970 · 40 citations

Formal Semantics, Syntax, Automated Reasoning +6

The meaning of the quantifiers in the logic of Leśniewski

Guido Küng · Studia Logica · 1977 · 34 citations

Formal Semantics, Philosophy Of Language, Syntax +8

Set Theory and its Logic

Guido Küng · Philosophical Studies · 1964 · 34 citations

Automated Reasoning, First-order Logic, Philosophy Of Logic +1

Philosophical Problems of Many-Valued Logic.

Elliott Mendelson, A. A. Zinov’ev, Guido Küng et al. · The Journal of Philosophy · 1966 · 32 citations

Non-classical Logic, Automated Reasoning, Many-valued Logic +2

Rows per page

1–5 of 9