Paraconsistent logics and translations (Q1840969): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q2753262 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4287778 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5728439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5596218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4722043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5753932 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-Valued Logics and Translations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3474641 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5581592 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to non-classical logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4777260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal weakly-intuitionistic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5610986 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank
 
Normal rank

Revision as of 14:15, 3 June 2024

scientific article
Language Label Description Also known as
English
Paraconsistent logics and translations
scientific article

    Statements

    Paraconsistent logics and translations (English)
    0 references
    0 references
    21 June 2001
    0 references
    classical propositional logic
    0 references
    intuitionistic logic
    0 references
    three-valued logic
    0 references
    paraconsistent logic
    0 references
    conservative translation between logics
    0 references
    category
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references