A refutation theory

DOI10.1007/s11787-009-0009-yzbMath1255.03024OpenAlexW2069266590MaRDI QIDQ1931339

Tomasz Skura

Publication date: 25 January 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-009-0009-y

zbMATH Keywords

consequence relationsrefutation systems

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Intermediate logics (03B55)

Related Items (7)

Judgment and consequence relations ⋮ Logics and Their Galaxies ⋮ On pairs of dual consequence operations ⋮ On refutation rules ⋮ A system for proper multiple-conclusion entailment ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions

Cites Work

• Maximality and refutability
• Refutation calculi for certain intermediate propositional logics
• Refutation systems in modal logic
• Syntactic refutations against finite models in modal logic
• Theory of rejected propositions. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A refutation theory