Inverse negation and classical implicative logic

Logique Et Analyse 161:145-154 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Table Des matieres editorial preface 3.Jair Minoro Abe, Curry Algebras Pt, Paraconsistent Logic, Newton Ca da Costa, Otavio Bueno, Jacek Pasniczek, Beyond Consistent, Complete Possible Worlds, Vm Popov & Inverse Negation - 1998 - Logique Et Analyse 41:1.
Idempotent Full Paraconsistent Negations are not Algebraizable.Jean- Yves Beziau - unknown
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Positive implicative bck-algebras with con-dition (s) and implicative semilattices.Janis Cırulis - 1999 - Bulletin of the Section of Logic 28 (3):131-133.
n -fold filters in BL-algebras.Masoud Haveshki & Esfandiar Eslami - 2008 - Mathematical Logic Quarterly 54 (2):176-186.
The concept of negation.Don Faust - 1997 - Logic and Logical Philosophy 5:35-48.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
A non-classical extension of classical implicative propositional logic.M. Spinks - 2000 - Bulletin of Symbolic Logic 6:255.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Vladimir Mikhailovic Popov
Moscow State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references