A Gentzen system for conditional logic (Q1327484): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Tsutomu Hosoi / rank | |||
Property / reviewed by | |||
Property / reviewed by: Tsutomu Hosoi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273474 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraizable logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3925859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of conditional logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the degree of complexity of sentential logics. A couple of examples / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5601829 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4106165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The formal system for varuous 3-valued logics. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics preserving degrees of truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On reduced matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559532 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01054712 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W8500925 / rank | |||
Normal rank |
Latest revision as of 12:00, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Gentzen system for conditional logic |
scientific article |
Statements
A Gentzen system for conditional logic (English)
0 references
5 March 1995
0 references
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.
0 references
conditional logic
0 references
Gentzen-type formulation
0 references
soundness
0 references
completeness
0 references