On the System CB1 and a Lattice of the Paraconsistent Calculi

被引：2
|
作者：
Ciuciura, Janusz [1 ]
机构：
[1] Univ Lodz, Fac Philosophy & Hist, Inst Philosophy, Dept Log & Methodol Sci, Lindleya 3-5, PL-90131 Lodz, Poland
来源：
LOGIC AND LOGICAL PHILOSOPHY | 2020年 / 29卷 / 02期
关键词：
paraconsistent logic; paraconsistency; hierarchy of the paraconsistent calculi;
D O I：
10.12775/LLP.2019.035
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In this paper, we present a calculus of paraconsistent logic. We propose an axiomatisation and a semantics for the calculus, and prove several important meta-theorems. The calculus, denoted as CB1, is an extension of systems PI, C-min and B-1, and a proper subsystem of Sette's calculus P-1. We also investigate the generalization of CB1 to the hierarchy of related calculi.
引用
收藏
页码：223 / 237
页数：15
相关论文
共 50 条
  • [1] Gently Paraconsistent Calculi
    Ciuciura, Janusz
    [J]. AXIOMS, 2020, 9 (04) : 1 - 9
  • [2] Overview of the endocannabinoid system, CB1 receptor antagonists
    Makriyannis, A
    [J]. NEUROPSYCHOPHARMACOLOGY, 2005, 30 : S64 - S64
  • [3] CB1 antagonists.
    Antel, J
    [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2004, 228 : U943 - U943
  • [4] ON THE SPECTRUM OF CB1(E)
    JARAMILLO, JA
    LLAVONA, JG
    [J]. MATHEMATISCHE ANNALEN, 1990, 287 (03) : 531 - 538
  • [5] Tuning the endocannabinoid system:: allosteric modulators of the CB1 receptor
    Ross, R. A.
    [J]. BRITISH JOURNAL OF PHARMACOLOGY, 2007, 152 (05) : 565 - 566
  • [6] The role of CB1 receptors in sweet versus fat reinforcement:: effect of CB1 receptor deletion, CB1 receptor antagonism (SR141716A) and CB1 receptor agonism (CP-55940)
    Ward, SJ
    Dykstra, LA
    [J]. BEHAVIOURAL PHARMACOLOGY, 2005, 16 (5-6): : 381 - 388
  • [7] Role of CB1 receptor system in a pharmacological model of schizophrenia
    Guidali, C.
    Vigano, D.
    Rubino, T.
    Parolaro, D.
    [J]. EUROPEAN NEUROPSYCHOPHARMACOLOGY, 2008, 18 : S52 - S52
  • [8] The CB1 endocannabinoid system modulates adipocyte insulin sensitivity
    Motaghedi, Roja
    McGraw, Timothy E.
    [J]. OBESITY, 2008, 16 (08) : 1727 - 1734
  • [9] Cannabinoid 1 (CB1) Receptor - Pharmacology, Role in Pain and Recent Developments in Emerging CB1 Agonists
    Talwar, Rashmi
    Potluri, Vijay Kumar
    [J]. CNS & NEUROLOGICAL DISORDERS-DRUG TARGETS, 2011, 10 (05) : 536 - 544
  • [10] Specific detection of CB1 receptors;: cannabinoid CB1 receptor antibodies are not all created equal!
    Grimsey, Natasha L.
    Goodfellow, Catherine E.
    Scotter, Emma L.
    Dowie, Megan J.
    Glass, Michelle
    Graham, E. Scott
    [J]. JOURNAL OF NEUROSCIENCE METHODS, 2008, 171 (01) : 78 - 86
12345