Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Substructural Negations
View through CrossRef
We present substructural negations, a family of negations (or negative modalities) classified in terms of structural rules of an extended kind of sequent calculus, display calculus. In considering the whole picture, we emphasize the duality of negation. Two types of negative modality, impossibility and unnecessity, are discussed and "self-dual" negations like Classical, De Morgan, or Ockham negation are redefined as the fusions of two negative modalities. We also consider how to identify, using intuitionistic and dual intuitionistic negations, two accessibility relations associated with impossibility and unnecessity.
Title: Substructural Negations
Description:
We present substructural negations, a family of negations (or negative modalities) classified in terms of structural rules of an extended kind of sequent calculus, display calculus.
In considering the whole picture, we emphasize the duality of negation.
Two types of negative modality, impossibility and unnecessity, are discussed and "self-dual" negations like Classical, De Morgan, or Ockham negation are redefined as the fusions of two negative modalities.
We also consider how to identify, using intuitionistic and dual intuitionistic negations, two accessibility relations associated with impossibility and unnecessity.
Related Results
Epistemic extensions of substructural inquisitive logics
Epistemic extensions of substructural inquisitive logics
Abstract
In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions ...
Substructural Calculi with Dependent Types
Substructural Calculi with Dependent Types
In this paper, we investigate how to introduce dependent types into the substructural calculi such as the Lambek calculus and linear logic. The motivations of such a move include f...
Elliptic partial differential equation and optimal control
Elliptic partial differential equation and optimal control
AbstractThe theory of optimal control and the semianalytical method of elliptic partial differential equation (PDE) in a prismatic domain are mutually simulated issues. The simulat...
${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ Are Substructural Fuzzy Logics
${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ Are Substructural Fuzzy Logics
Two representable substructural logics ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are logics for finite UL and IUL-algebras, respectively. In this paper, the standard c...
Intertextual Study in Comparative Literature: Folklore of Oedipus and Folklore of Sangkuriang
Intertextual Study in Comparative Literature: Folklore of Oedipus and Folklore of Sangkuriang
The purpose of this research is to identify intertextual study in comparative literature of Oedipus folklore and Sangkuriang folklore. The intertextual study of comparative literat...
Inference in action
Inference in action
Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here. In this paper, we join the substructural traditi...
Maimonides on Religious Language
Maimonides on Religious Language
This chapter assesses how Maimonides’ concern with religious language is part of his overall philosophic programme in which the correct understanding of language applied to God is ...
Extending the Query Language of a Data Warehouse for Patient Recruitment
Extending the Query Language of a Data Warehouse for Patient Recruitment
Patient recruitment for clinical trials is a laborious task, as many texts have to be screened. Usually, this work is done manually and takes a lot of time. We have developed a sys...