Kripke semantics for some paraconsistent logics

Logica Trianguli 2:87-101 (1998)
  Copy   BIBTEX

Abstract

The paper deals with seven propositional paraconsistent logics. Four of them are based on intuitionistic positive logic: the minimal Johansson’s logic, some two its weakenings and its extension by the law of excluded middle. The remaining three ones are their counterparts having the classical positive base. For all logics the Kripke-style semantics is provided

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
Possible-translations semantics for some weak classically-based paraconsistent logics.João Marcos - 2008 - Journal of Applied Non-Classical Logics 18 (1):7-28.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.

Analytics

Added to PP
2014-01-21

Downloads
12 (#1,025,624)

6 months
1 (#1,459,555)

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

No references found.

Add more references