Higher-Order Logic

doi 10.7551/mitpress/6945.003.0005
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Who's Afraid of Higher-Order Logic?

Grazer Philosophische Studien
Philosophy
1993English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Mechanizing Programming Logics in Higher Order Logic

1989English

The Essence of Higher-Order Concurrent Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy