Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Claude Kirchner

HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Completion Is an Instance of Abstract Canonical System Inference

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Higher-Order Logic

1998English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

Geometrisation of First-Order Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2015English

Who's Afraid of Higher-Order Logic?

Grazer Philosophische Studien
Philosophy
1993English

Semigroups Underlying First-Order Logic

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
2006English

A Short Tutorial on Order-Invariant First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

CIFOL: Case-Intensional First Order Logic

Journal of Philosophical Logic
Philosophy
2013English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Literal Projection for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy