The theory of rejected propositions. II
From MaRDI portal
Publication:1843431
DOI10.1007/BF02120839zbMath0282.02021OpenAlexW2074656184MaRDI QIDQ1843431
Grzegorz Bryll, Urszula Wybraniec-Skardowska, Jerzy Słupecki
Publication date: 1972
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02120839
Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) General logic (03B99)
Related Items (11)
Is `no' a force-indicator? Yes, sooner or later! ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ On pairs of dual consequence operations ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Paraconsistency in classical logic ⋮ A meta-logic of inference rules: Syntax ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ A certain interpretation of the theory of rejected propositions ⋮ Anti-intuitionism and paraconsistency ⋮ Structuring co-constructive logic for proofs and refutations
Cites Work
- Unnamed Item
- Unnamed Item
- A certain interpretation of the theory of rejected propositions
- A variant of the proof of the completeness of the first order functional calculus
- Remarks on formalized proof and consequence
- On the classical logic of names
- On proofs of rejection
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
This page was built for publication: The theory of rejected propositions. II
