The Jacobson radical for an inconsistency predicate

Article Properties
  • DOI (url)
    10.3233/com-210365
  • Publication Date
    2022/05/13
  • Journal
    Computability
  • Indian UGC (journal)
  • Refrences
    65
  • Peter Schuster Dipartimento di Informatica, Università degli Studi di Verona, Italy
  • Daniel Wessel Dipartimento di Informatica, Università degli Studi di Verona, Italy
Abstract
Journal Category
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
Postponement of $$\mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 3 2019
Eliminating disjunctions by disjunction elimination Indagationes Mathematicae
  • Science: Mathematics
 13 2018
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

 The Bulletin of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 13 2017
Embedding classical in minimal implicational logic

 Mathematical Logic Quarterly
  • Science: Mathematics
  • Science: Mathematics
 5 2016
Glivenko sequent classes in the light of structural proof theory Archive for Mathematical Logic
  • Science: Mathematics
  • Science: Mathematics
 5 2016