Inclusive first-order logic
type: Item
instance of: scholarly article
title: Inclusive first-order logic
zbMATH Open document ID: 0468.03043
DOI: 10.1007/BF01837552
author: Roch Ouellet
published in: Studia Logica
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 3733912
zbMATH Keywords: inclusive logic
zbMATH Keywords: first-order language with levels
zbMATH Keywords: transformations on variables
zbMATH Keywords: saturated theory
zbMATH Keywords: Kripke structures
zbMATH Keywords: free logics
MaRDI profile type: Publication
cites work: Quantification theory and empty individual-domains
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: On the rules of proof in the pure functional calculus of the first order
cites work: Quantification and the empty domain
full work available at URL: https://doi.org/10.1007/bf01837552
OpenAlex ID: W2007795240
description: scientific article; zbMATH DE number 3733912