On pairs of dual consequence operations
From MaRDI portal
Publication:1941723
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
consequence operations; dual consequence operation; asserted system; axiom systems of theories of deductive systems; refutation system; rejection consequence operation; unit consequence operations
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