A Gentzen system for conditional logic (Q1327484): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
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 |
Revision as of 16:34, 22 May 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