Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4261832 / rank
 
Normal rank
Property / cites work
 
Property / cites work: TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some topological properties of paraconsistent models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440796 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paraconsistent logic from a modal viewpoint / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theory of inconsistent formal systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A semantical analysis of the calculi \(C_n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on the model theory of DeMorgan logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical modal logic: A view of its evolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Logic of Contradiction / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the syntactical construction of systems of modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebra of topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: On closed elements in closure algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2703802 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Heyting mereology as a framework for spatial reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological separation principles and logical theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order da Costa logic / rank
 
Normal rank

Latest revision as of 19:50, 20 July 2024

scientific article; zbMATH DE number 7124974
Language Label Description Also known as
English
Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
scientific article; zbMATH DE number 7124974

    Statements

    Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (English)
    0 references
    0 references
    31 October 2019
    0 references
    paraconsistent logic
    0 references
    topological semantics
    0 references
    da Costa logics
    0 references

    Identifiers