Theory of rejected propositions. I

DOI10.1007/BF02121863MaRDI QIDQ2557697zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3388987 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• 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
• On proofs of rejection
• On the classical logic of names
• Remarks on formalized proof and consequence

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
• On comparison of theories by their contents
• A refutation theory

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)