On pairs of dual consequence operations

DOI10.1007/s11787-011-0030-9zbMath1264.03038OpenAlexW2160634047MaRDI QIDQ1941723

Jacek Waldmajer, Urszula Wybraniec-Skardowska

Publication date: 21 March 2013

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

Full work available at URL: https://doi.org/10.1007/s11787-011-0030-9

zbMATH Keywords

consequence operationsdual consequence operationasserted systemaxiom systems of theories of deductive systemsrefutation systemrejection consequence operationunit consequence operations

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (7)

Logical squares for classical logic sentences ⋮ Beyond logical pluralism and logical monism ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Operator counterparts of types of reasoning ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Paraconsistency in classical logic ⋮ A meta-logic of inference rules: Syntax

Cites Work

• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• Refutation calculi for certain intermediate propositional logics
• On comparison of theories by their contents
• Extensions and intensions in the rough set theory
• The theory of rejected propositions. II
• Normal forms in combinatory logic
• A Łukasiewicz-style refutation system for the modal logic S4
• A refutation theory
• Completeness theory for propositional logics
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Theory of rejected propositions. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On pairs of dual consequence operations