Kripke Semantics for some Paraconsistent Logics MarekNOWAK

Logica Trianguli: Logic in Łódź, Nantes, Santiago de Compostela 2:87 (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,532

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 semantics for some paraconsistent logics.Marek Nowak - 1998 - Logica Trianguli 2:87-101.
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.
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
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.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Possible-translations semantics for some weak classically-based paraconsistent logics.João Marcos - 2008 - Journal of Applied Non-Classical Logics 18 (1):7-28.
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 knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
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 multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.

Analytics

Added to PP
2014-01-21

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references