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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_19 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2473018460 / rank
 
Normal rank
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
links / mardi / namelinks / mardi / name
 

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