On the Methodology of Paraconsistent Logic (Q5213765): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3016130 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Between order and chaos: The quest for meaningful information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible falsity and inexact predicates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal and premaximal paraconsistency in the framework of three-valued semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ideal paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural 3-valued logics—characterization and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2715514 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of philosophical logic. Vol. 9 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The classical constraint on relevance / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3483262 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3909031 / rank
 
Normal rank
Property / cites work
 
Property / cites work: New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free of Detachment: Logic, Rationality, and Gluts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Depth relevance of some paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of Formal Inconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440555 / 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: Q3956917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: REASSURANCE FOR THE LOGIC OF PARADOX / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4698611 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of Priest-da Costa logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of nonsense and Parry systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Philosophical Conceptions of Information / rank
 
Normal rank
Property / cites work
 
Property / cites work: What is negation? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721200 / 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: Q4918420 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Jaśkowski's criterion and three-valued paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A decidable fragment of predicate calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Predicate logics without the structure rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751049 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On negation: Pure local rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Information, Negation, and Paraconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic: a history of its central concepts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible falsity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3256323 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The class of extensions of Nelson's paraconsistent logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive negations and paraconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4463936 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4722043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explaining Deductive Inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimally inconsistent LP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Negation as cancellation, and connexive logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order da Costa logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3474639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3884093 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On inference from inconsistent premisses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4777260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truth and falsehood. An inquiry into generalized logical values / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012257 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of information structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760426 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5483018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive negation, implication, and co-implication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Falsification, natural deduction and bi-intuitionistic logic / rank
 
Normal rank

Latest revision as of 16:52, 21 July 2024

scientific article; zbMATH DE number 7162706
Language Label Description Also known as
English
On the Methodology of Paraconsistent Logic
scientific article; zbMATH DE number 7162706

    Statements

    On the Methodology of Paraconsistent Logic (English)
    0 references
    0 references
    0 references
    4 February 2020
    0 references
    paraconsistent logic
    0 references
    methodology
    0 references
    maximal paraconsistency
    0 references
    classical logic
    0 references
    constructive logic
    0 references
    connexive logic
    0 references
    absorption
    0 references
    relevance logic
    0 references
    separation of concepts
    0 references
    minimal loss of expressiveness
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers