Proto-semantics for positive free logic
type: Item
instance of: scholarly article
title: Proto-semantics for positive free logic
zbMATH Open document ID: 0953.03033
DOI: 10.1023/A:1004748615483
published in: Journal of Philosophical Logic
publication date: 2001-01-29T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1491207
zbMATH Keywords: denotation
zbMATH Keywords: Craig interpolation
zbMATH Keywords: bivalent extensional semantics
zbMATH Keywords: positive free logic
zbMATH Keywords: model theory
zbMATH Keywords: compactness
zbMATH Keywords: Beth definability
zbMATH Keywords: completeness
author: Gian Aldo Antonelli
MaRDI profile type: Publication
cites work: Q4342084
cites work: Model theory.
cites work: Q4010354
cites work: Q4345940
cites work: An axiomatic basis for computer programming
cites work: Q4117804
cites work: Completeness theorems for some presupposition-free logics
cites work: Q5661323
cites work: Existential import revisited
cites work: Free logic and the concept of existence
cites work: Strict Fregean free logic
cites work: Universally free logic and standard quantification theory
cites work: On supervaluations in free logic
full work available at URL: a:1004748615483
OpenAlex ID: W2137540712
description: scientific article; zbMATH DE number 1491207