Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3166/jancl.15.69-103 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2012765281 / rank
 
Normal rank

Revision as of 21:33, 19 March 2024

scientific article
Language Label Description Also known as
English
Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n&lt;ω
scientific article

    Statements

    Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n&lt;ω (English)
    0 references
    30 November 2009
    0 references
    0 references
    paraconsistent logic
    0 references
    da Costa's hierarchy systems
    0 references
    decidability
    0 references
    hierarchy of analytical tableaux systems
    0 references
    cut rule
    0 references
    logical equivalence
    0 references
    0 references