A Generalisation of a Refutation-related Method in Paraconsistent Logics

DOI10.12775/LLP.2018.002zbMath1412.03011MaRDI QIDQ4683226

Adam Trybus

Publication date: 20 September 2018

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

maximalityparaconsistencyrefutation

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

n-valued maximal paraconsistent matrices

Cites Work

• Maximality and refutability
• A note on matrices for systems of nonsense-logics
• A formal system for the non-theorems of the propositional calculus
• Refutation systems in modal logic
• Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
• Syntactic refutations against finite models in modal logic
• Logical modes of attack in argumentation networks
• Vasil'Év and Imaginary Logic
• Paraconsistency and Sette’s calculus P1
• A propositional calculus for inconsistent deductive systems
• Vasiľiev: what did he exactly do?
• Jaina Logic and the Philosophical Basis of Pluralism
• Three-Valued Paraconsistent Propositional Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Generalisation of a Refutation-related Method in Paraconsistent Logics