A Gentzen system for conditional logic

Studia Logica 53 (2):243 - 257 (1994)
  Copy   BIBTEX

Abstract

Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic.

Categories

Keywords

Reprint years

DOI

10.1007/bf01054712

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.
The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.
Toward a More Natural Expression of Quantum Logic with Boolean Fractions.Philip G. Calabrese - 2005 - Journal of Philosophical Logic 34 (4):363-401.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
On an algebra of lattice-valued logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282-318.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.

Analytics

Added to PP
2009-01-28

Downloads
49 (#315,745)

6 months
13 (#278,026)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Lectures on propositional calculi.Ryszard Wójcicki - 1984 - Ossolineum [Poland]: Pub. House of the Polish Academy of Sciences.
Logics preserving degrees of truth.Marek Nowak - 1990 - Studia Logica 49 (4):483 - 499.
On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.

Add more references