scholarly journals A Generalisation of a Refutation-related Method in Paraconsistent Logics

2018 ◽  
Author(s):  
Adam Trybus
Keyword(s):  
Paraconsistent Logics ◽  
Related Method

KINERJA iLEARNING RAHARJA ASK AND NEWS (IRAN) DALAM MENDUKUNG KEGIATAN TRIDHARMA IDUHELP!

CCIT Journal ◽  
2014 ◽  
Vol 8 (1) ◽  
pp. 18-33
Author(s):  
Untung Rahardja ◽  
Meta Amalya Dewi ◽  
Fitri Lisnawati
Keyword(s):  
Information Technology ◽  
System Performance ◽  
Communication Media ◽  
Related Method ◽  
Literature Reviews ◽  
The World ◽  
Information And Communication ◽  
System Requirements ◽  
Three Stages ◽  
Care System

Advances in information technology and communications which we achieve now actually been recognized and felt in the world of education in general. Currently College Prog implement a Tridharma terms Tridharma iDuHelp!. Tridharma is one of the basic responsibilities that students must be developed simultaneously and together. In this Tridharma still there are problems in the system iDuHelp! service. So IRAN (iLearning Prog Ask and News) in collaboration with iDuHelp! in providing answers and information needed by the student. In its application in Tridharma iDuHelp! IRAN There is a related method in it, such as iLearning methods that are currently being developed. With iLearning method can facilitate conduct research in detail, accurately, and clearly by using mindmapping. Besides the method of analysis is also done with three stages  namely the identification of the problem, identifying needs, and identifying system requirements. In this study using 4 literature reviews that can be used as references in preparing this paper. In this article explained about the problems that arise and solving problems in accurately using the flow Flowchart. In the implementation of the prototype shown iDuHelp! As well as the performance of Iran. So the end result of the study is a system performance to information and communication media of Iran can maximize iDuHelp! care system  It is widely integrated in a university.

scholarly journals Useful Four-Valued Extension of the Temporal Logic KtT4

2018 ◽  
Vol 47 (1) ◽  
Author(s):  
Vincent Degauquier
Keyword(s):  
Modal Logic ◽  
Temporal Logic ◽  
Paraconsistent Logics ◽  
Accessibility Relation

The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

Paraconsistency, self-extensionality, modality

2018 ◽  
Vol 28 (5) ◽  
pp. 851-880
Author(s):  
Arnon Avron ◽  
Anna Zamansky
Keyword(s):  
Intuitionistic Logic ◽  
Modal Logics ◽  
The Other ◽  
Paraconsistent Logics ◽  
Classical Negation ◽  
Inconsistent Theories ◽  
Replacement Property ◽  
General Method

Abstract Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new (paraconsistent) negation as $\neg \varphi =_{Def} \sim \Box \varphi$ (where $\sim$ is the classical negation). We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from most other C-systems in having the important replacement property (which means that equivalence of formulas implies their congruence). We further show that B is a very robust C-system in the sense that almost any axiom which has been considered in the context of C-systems is either already a theorem of B or its addition to B leads to a logic that is no longer paraconsistent. There is exactly one notable exception, and the result of adding this exception to B leads to the other logic studied here, S5.

Logic and Philosophical Methodology

2016 ◽  
Author(s):  
John P. Burgess
Keyword(s):  
Set Theory ◽  
Model Theory ◽  
Classical Logic ◽  
Proof Theory ◽  
Recursion Theory ◽  
Theory Model ◽  
Philosophical Methodology ◽  
Paraconsistent Logics ◽  
Philosophical Logic

This article explores the role of logic in philosophical methodology, as well as its application in philosophy. The discussion gives a roughly equal coverage to the seven branches of logic: elementary logic, set theory, model theory, recursion theory, proof theory, extraclassical logics, and anticlassical logics. Mathematical logic comprises set theory, model theory, recursion theory, and proof theory. Philosophical logic in the relevant sense is divided into the study of extensions of classical logic, such as modal or temporal or deontic or conditional logics, and the study of alternatives to classical logic, such as intuitionistic or quantum or partial or paraconsistent logics. The nonclassical consists of the extraclassical and the anticlassical, although the distinction is not clearcut.

Paraconsistent logics?

1995 ◽  
Vol 24 (4) ◽  
pp. 451-454 ◽  
Author(s):  
B. H. Slater
Keyword(s):  
Paraconsistent Logics
Sign in / Sign up

Export Citation Format

Share Document