Constructive Negations and Paraconsistency

Dordrecht, Netherland: Springer (2008)
  Copy   BIBTEX

Abstract

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9781402068676   1402068670   9048177448   1402068662
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Routley-Meyer ternary relational semantics for intuitionistic-type negations.Gemma Robles & José M. Méndez - 2018 - London, United Kingdom: Elsevier, Academic Press. Edited by José M. Méndez.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency.Gemma Robles & José M. Méndez - 2009 - Journal of Logic, Language and Information 18 (3):357-402.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
Liberating Paraconsistency from Contradiction.Jonas R. Becker Arenhart - 2015 - Logica Universalis 9 (4):523-544.
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
Irregular Negations.Wayne A. Davis - unknown
KALC: a constructive semantics for ALC.Paola Villa - 2011 - Journal of Applied Non-Classical Logics 21 (2):233-255.
Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})‐Institutions.George Voutsadakis - 2013 - Mathematical Logic Quarterly 59 (3):177-200.
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics.Christian Espíndola - 2016 - Notre Dame Journal of Formal Logic 57 (2):281-286.
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.

Analytics

Added to PP
2021-11-17

Downloads
11 (#1,110,001)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references