Theory of rejected propositions. I

DOI10.1007/BF02121863zbMath0253.02049MaRDI QIDQ2557697

Grzegorz Bryll, Urszula Wybraniec-Skardowska, Jerzy Słupecki

Publication date: 1971

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03B99: General logic

Related Items

A sequent calculus for skeptical Default Logic, Jerzy Słupecki (1904–1987), Rejection in Łukasiewicz’s and Słupecki’s Sense, Sequent calculi for default and autoepistemic logics, Logics and Their Galaxies, Structuring co-constructive logic for proofs and refutations, Admissibility and refutation: some characterisations of intermediate logics, Foundations for the formalization of metamathematics and axiomatizations of consequence theories, Logic, formal methodology and semantics in works of Ryszard Wójcicki, On comparison of theories by their contents, The method of axiomatic rejection for the intuitionistic propositional logic, On decision procedures for sentential logics, Proof of L-decidability of Lewis system S5, Refutation systems in modal logic, A refutation theory, On pairs of dual consequence operations, Paraconsistency in classical logic, Is `no' a force-indicator? Yes, sooner or later!, On the mutual definability of the notions of entailment, rejection, and inconsistency, A meta-logic of inference rules: Syntax, European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item