A strong model of paraconsistent logic (Q558738): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Natural 3-valued logics—characterization and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5695174 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4465169 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Consistency of a Positive Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the axiom of extensionality in the positive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency problem for positive comprehension principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: A general construction of hyperuniverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4067100 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3942954 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Naive set theory with extensionality in partial logic and in paradoxical logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: ZF and the axiom of choice in some paraconsistent set theories / rank
 
Normal rank

Latest revision as of 13:24, 10 June 2024

scientific article
Language Label Description Also known as
English
A strong model of paraconsistent logic
scientific article

    Statements