The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
type: Item
instance of: scholarly article
title: The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
zbMATH Open document ID: 0809.03001
DOI: 10.1007/BF01048687
author: Mark Norris Lance
author: Philip Kremer
published in: Journal of Philosophical Logic
publication date: 1994-01-01T00:00:00Z
review text: Explicating entailment in terms of commitments, the authors stress the normative character of logical theory. Using natural deduction (Fitch style) and algebraic semantics (Kripke style), they present four axiomatizations of entailment (the only connectives being conjunction and implication) and connect them with particular constraints concerning the degree of embedding of commitments. A ``relevance'' version will be explained in the forthcoming second part of the article.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 635846
zbMATH Keywords: modal logic
zbMATH Keywords: theoremhood
zbMATH Keywords: natural deduction
zbMATH Keywords: algebraic semantics
zbMATH Keywords: axiomatizations of entailment
zbMATH Keywords: degree of embedding of commitments
reviewed by: Pavel Materna
MaRDI profile type: Publication
cites work: Q4085699
cites work: Q5815602
cites work: Q3026978
cites work: Q3701398
cites work: Q4073301
full work available at URL: https://doi.org/10.1007/bf01048687
OpenAlex ID: W4237633286
description: scientific article; zbMATH DE number 635846