Theory of rejected propositions. I
From MaRDI portal
Publication:2557697
DOI10.1007/BF02121863zbMATH Open0253.02049OpenAlexW2082253949MaRDI QIDQ2557697FDOQ2557697
Authors: Grzegorz Bryll, Urszula Wybraniec-Skardowska, Jerzy Słupecki 
Publication date: 1971
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02121863
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On proofs of rejection
- A variant of the proof of the completeness of the first order functional calculus
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
- Title not available (Why is that?)
- Remarks on formalized proof and consequence
- On the classical logic of names
Cited In (24)
- On pairs of dual consequence operations
- Structuring co-constructive logic for proofs and refutations
- Rejection in Łukasiewicz’s and Słupecki’s Sense
- On consequence and rejection as operators
- Operator counterparts of types of reasoning
- Sequent calculi for choice logics
- A meta-logic of inference rules: syntax
- Paraconsistency in classical logic
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
- A sequent calculus for skeptical Default Logic
- Sequent calculi for default and autoepistemic logics
- Jerzy Słupecki (1904–1987)
- Admissibility and refutation: some characterisations of intermediate logics
- Is `no' a force-indicator? Yes, sooner or later!
- The method of axiomatic rejection for the intuitionistic propositional logic
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories
- Proof of L-decidability of Lewis system S5
- Refutation systems in modal logic
- Logics and Their Galaxies
- Logic, formal methodology and semantics in works of Ryszard Wójcicki
- On the mutual definability of the notions of entailment, rejection, and inconsistency
- On decision procedures for sentential logics
- A refutation theory
- On comparison of theories by their contents
This page was built for publication: Theory of rejected propositions. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2557697)
