A Gentzen system for conditional logic
type: Item
instance of: scholarly article
title: A Gentzen system for conditional logic
zbMATH Open document ID: 0807.03011
DOI: 10.1007/BF01054712
author: F. Guzmán
published in: Studia Logica
publication date: 1995-03-05T00:00:00Z
review text: For conditional logic, a Gentzen-type formulation is given. Conditional logic is a deductive system on an algebraic system, defined by Guzmán and Squier, composed of three truth-values (true, unknown and false), three logical operations (conjunction, disjunction and negation), while implication is defined by the structural finitary consequence relation. The defined Gentzen-type system is a very natural extension of Gentzen's original. For the defined system the author proves the soundness theorem, the completeness theorem, and some other theorems. But the cut- elimination theorem is not provided.
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 590922
zbMATH Keywords: conditional logic
zbMATH Keywords: Gentzen-type formulation
zbMATH Keywords: soundness
zbMATH Keywords: completeness
reviewed by: Tsutomu Hosoi
MaRDI profile type: Publication
cites work: Q4273474
cites work: Algebraizable logics
cites work: Q3925859
cites work: The algebra of conditional logic
cites work: On the degree of complexity of sentential logics. A couple of examples
cites work: Q5601829
cites work: Q4106165
cites work: The formal system for varuous 3-valued logics. II
cites work: Logics preserving degrees of truth
cites work: On reduced matrices
cites work: Q5559532
full work available at URL: https://doi.org/10.1007/bf01054712
OpenAlex ID: W8500925
Recommended article: The complexity of Gentzen systems for propositional logic
Recommended article: Q3817651
Recommended article: Sound and complete Gentzen deduction system for intermediate propositional logic
Recommended article: Q3972527
Recommended article: Sequent Systems for Lewis’ Conditional Logics
Recommended article: Q3496314
Recommended article: Systems and Implementations for Solving Reasoning Problems in Conditional Logics
Recommended article: Q4281258
Recommended article: Gentzen calculi for modal propositional logic
Recommended article: Gentzen-like systems for partial propositional calculi. I. II
description: scientific article; zbMATH DE number 590922