A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4009137 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three-Valued Paraconsistent Propositional Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3469089 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4811768 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A formal system for the non-theorems of the propositional calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5839916 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paraconsistency and Sette’s calculus P1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical modes of attack in argumentation networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Jaina Logic and the Philosophical Basis of Pluralism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3360159 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Refutation systems in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on matrices for systems of nonsense-logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A propositional calculus for inconsistent deductive systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3237574 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5805951 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992933 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329294 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vasil'Év and Imaginary Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of Hałkowska-Zajac's three-valued paraconsistent logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4870569 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5283963 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3987719 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3475248 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Syntactic refutations against finite models in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4484080 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximality and refutability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vasiľiev: what did he exactly do? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4459273 / rank
 
Normal rank

Latest revision as of 15:12, 16 July 2024

scientific article; zbMATH DE number 6940683
Language Label Description Also known as
English
A Generalisation of a Refutation-related Method in Paraconsistent Logics
scientific article; zbMATH DE number 6940683

    Statements

    A Generalisation of a Refutation-related Method in Paraconsistent Logics (English)
    0 references
    0 references
    20 September 2018
    0 references
    paraconsistency
    0 references
    refutation
    0 references
    maximality
    0 references

    Identifiers