Theory of rejected propositions. I
From MaRDI portal
Publication:2557697
DOI10.1007/BF02121863zbMath0253.02049OpenAlexW2082253949MaRDI QIDQ2557697
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
Related Items (23)
Refutation systems in modal logic ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ A refutation theory ⋮ Logics and Their Galaxies ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ On consequence and rejection as operators ⋮ Operator counterparts of types of reasoning ⋮ On pairs of dual consequence operations ⋮ A sequent calculus for skeptical Default Logic ⋮ Jerzy Słupecki (1904–1987) ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Logic, formal methodology and semantics in works of Ryszard Wójcicki ⋮ Paraconsistency in classical logic ⋮ A meta-logic of inference rules: Syntax ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ On decision procedures for sentential logics ⋮ Sequent calculi for default and autoepistemic logics ⋮ Proof of L-decidability of Lewis system S5 ⋮ On comparison of theories by their contents ⋮ The method of axiomatic rejection for the intuitionistic propositional logic ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 ⋮ Structuring co-constructive logic for proofs and refutations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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: Theory of rejected propositions. I
