Abstract deduction and inferential models for type theory
type: Item
instance of: scholarly article
title: Abstract deduction and inferential models for type theory
zbMATH Open document ID: 1197.03034
author: Paolo Gentilini
author: M. Martelli
published in: Information and Computation
publication date: 2010-08-18T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5772399
zbMATH Keywords: logic in computer science
zbMATH Keywords: constructive semantics for higher-order logic
zbMATH Keywords: proof theory
describes a project that uses: ETPS
MaRDI profile type: Publication
full work available at URL: j.ic.2010.03.002
OpenAlex ID: W1975424061
cites work: Resolution in type theory
cites work: General models and extensionality
cites work: Q4726218
cites work: Q4255516
cites work: Q4132480
cites work: The s-semantics approach: Theory and applications
cites work: Q4215631
cites work: Completeness and Cut-elimination in the Intuitionistic Theory of Types
cites work: Proof-theoretic modal PA-completeness. I: A system-sequent metric
cites work: Proof-theoretic modal PA-completeness. II: The syntactic countermodel
cites work: Proof-theoretic modal PA-completeness. III: The syntactic proof
cites work: Untersuchungen über das logische Schliessen. I
cites work: Linear logic
cites work: Q3773876
cites work: Completeness in the theory of types
cites work: Q4346206
cites work: Q4722037
cites work: Q4858033
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Uniform proofs as a foundation for logic programming
cites work: Kripke-style models for typed lambda calculus
cites work: Hauptsatz for higher order logic
cites work: Q5537599
cites work: Proof theory. 2nd ed
cites work: Q4716271
cites work: Q4789460
cites work: A semantics for \(\lambda \)Prolog
DOI: 10.1016/J.IC.2010.03.002
description: scientific article; zbMATH DE number 5772399