On pairs of dual consequence operations

DOI10.1007/s11787-011-0030-9zbMath1264.03038MaRDI 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 operations; dual consequence operation; asserted system; axiom systems of theories of deductive systems; refutation system; rejection consequence operation; unit consequence operations

Mathematics Subject Classification ID

03B22: Abstract deductive systems

Related Items

Rejection in Łukasiewicz’s and Słupecki’s Sense, Operator counterparts of types of reasoning, Logical squares for classical logic sentences, Beyond logical pluralism and logical monism, Paraconsistency in classical logic, On the mutual definability of the notions of entailment, rejection, and inconsistency, 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