Results 51 to 60 of about 2,727 (208)

Reason Maintenance - State of the Art [PDF]

, 2008
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is
Bry, François, Kotowski, Jakub
core   +2 more sources

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]

, 2020
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica, E. Coniglio, Marcelo, Hernández-Tello, Alejandro   +2 more
core   +1 more source

AGM-Like Paraconsistent Belief Change [PDF]

, 2017
Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E., Ribeiro, Márcio M., Testa, Rafael R.   +2 more
core   +1 more source

Paraconsistent Informational Logic

Journal of Applied Logic, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire   +3 more sources

Paraconsistency Everywhere

Notre Dame Journal of Formal Logic, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Paraconsistent dynamics

Synthese, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Patrick Girard, Koji Tanaka
openaire   +3 more sources

Inferential paraconsistency

Logic and Logical Philosophy, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grzegorz Malinowski
openalex   +4 more sources

Paraconsistency in Non-Fregean Framework

Studia Logica: An International Journal for Symbolic Logic
A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective ≡\documentclass[12pt]{minimal ...
Joanna Golińska-Pilarek
semanticscholar   +1 more source

Logical theory revision through data underdetermination: an anti-exceptionalist exercise

Principia: An International Journal of Epistemology, 2021
The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory.
Sanderson Molick
doaj   +1 more source

What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean? A Review of Godel's Way: Exploits into an undecidable world by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (review revised 2019) [PDF]

, 2019
In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have ...
Starks, Michael
core