Logical frameworks for truth and abstraction. An axiomatic study
type: Item
instance of: scholarly article
title: Logical frameworks for truth and abstraction. An axiomatic study
zbMATH Open document ID: 0860.03015
author: Andrea Cantini
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1996-08-22T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03D75
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 918845
zbMATH Keywords: logical systems
zbMATH Keywords: type-free abstraction
zbMATH Keywords: self-referential truth
zbMATH Keywords: combinatory logic
zbMATH Keywords: type-free systems
zbMATH Keywords: self-application
zbMATH Keywords: property theory
zbMATH Keywords: formal semantics
zbMATH Keywords: classical topics
zbMATH Keywords: inductive definitions
zbMATH Keywords: predicative mathematics
zbMATH Keywords: applications
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 918845