Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997 (Q2762534)

From MaRDI portal





scientific article; zbMATH DE number 1688409
Language Label Description Also known as
English
Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
scientific article; zbMATH DE number 1688409

    Statements

    9 January 2002
    0 references
    Proceedings
    0 references
    Congress
    0 references
    Paraconsistency
    0 references
    Ghent (Belgium)
    0 references
    Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997 (English)
    0 references
    The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Akama, Seiki}, Relevant counterfactuals and paraconsistency, 1-9 [Zbl 0994.03020]NEWLINENEWLINE\textit{Arieli, Ofer; Avron, Arnon}, Bilattices and paraconsistency, 11-27 [Zbl 0994.03021]NEWLINENEWLINE\textit{Ausín, Francisco José; Peña, Lorenzo}, Paraconsistent deontic logic with enforceable rights, 29-47 [Zbl 0994.03022]NEWLINENEWLINE\textit{Batens, Diderik}, A survey of inconsistency-adaptive logics, 49-73 [Zbl 0993.03030]NEWLINENEWLINE\textit{Besnard, Philippe; Lang, Jérôme}, Graded paraconsistency -- reasoning with inconsistent and uncertain knowledge, 75-94 [Zbl 0994.03023]NEWLINENEWLINE\textit{Béziau, Jean-Yves}, What is paraconsistent logic?, 95-111 [Zbl 0995.03021]NEWLINENEWLINE\textit{Brady, Ross T.}, Entailment, negation and paradox solution, 113-135 [Zbl 0993.03031]NEWLINENEWLINE\textit{Brown, Bryson}, Simple natural deduction for weakly aggregative paraconsistent logics, 137-148 [Zbl 1006.03029]NEWLINENEWLINE\textit{Carnielli, Walter A.}, Possible-translations semantics for paraconsistent logics, 149-163 [Zbl 1002.03525]NEWLINENEWLINE\textit{da Costa, Newton C. A.}, Paraconsistent mathematics, 165-179 [Zbl 1006.03028]NEWLINENEWLINE\textit{Karpenko, Alexander S.}, A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic, 181-187 [Zbl 1002.03524]NEWLINENEWLINE\textit{Meheus, Joke}, An extremely rich paraconsistent logic and the adaptive logic based on it, 189-201 [Zbl 0993.03033]NEWLINENEWLINE\textit{Mortensen, Chris}, Prospects for inconsistency, 203-208 [Zbl 0993.03034]NEWLINENEWLINE\textit{Patterson, Anna; Costello, Tom}, Exponentials as projections from paraconsistent logics, 209-222 [Zbl 0993.03035]NEWLINENEWLINE\textit{Priest, Graham}, Motivations for paraconsistency: The slippery slope from classical logic to dialetheism, 223-232 [Zbl 0997.03030]NEWLINENEWLINE\textit{Roberts, Lesley}, Maybe, maybe not: Probabilisitc semantics for two paraconsistent logics, 233-254 [Zbl 1002.03526]NEWLINENEWLINE\textit{Smirnova, Elena D.}, An approach to the justification of semantics of paraconsistent logics, 255-262 [Zbl 0992.03504]NEWLINENEWLINE\textit{Vasyukov, Vladimir L.}, Paraconsistency in categories, 263-278 [Zbl 0993.03037]NEWLINENEWLINE\textit{Varzi, Achille C.}, Supervaluationism and paraconsistency, 279-297 [Zbl 0993.03036]NEWLINENEWLINE\textit{Weber, Steffo}, Mathematical analysis of Priest's nonmonotonic version of a variant of Kleene's \(\text{SK}_3\), 299-314 [Zbl 1001.03026]NEWLINENEWLINE\textit{Weingartner, Paul}, Reasons for filtering classical logic, 315-327 [Zbl 0993.03038]
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references