Rejection in Łukasiewicz’s and Słupecki’s Sense
From MaRDI portal
Publication:4611693
DOI10.1007/978-3-319-65430-0_40zbMath1406.03032OpenAlexW2808338026MaRDI QIDQ4611693
Publication date: 21 January 2019
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://philarchive.org/rec/URSRIU
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)
Related Items (2)
Cites Work
- Refutation calculi for certain intermediate propositional logics
- On comparison of theories by their contents
- The method of axiomatic rejection for the intuitionistic propositional logic
- A certain interpretation of the theory of rejected propositions
- Proof of L-decidability of Lewis system S5
- Proof of decidability of the traditional calculus of names
- Refutation systems in modal logic
- The theory of rejected propositions. II
- Syntactic refutations against finite models in modal logic
- A Łukasiewicz-style refutation system for the modal logic S4
- On pairs of dual consequence operations
- On Lesniewski's elementary ontology
- Theory of rejected propositions. I
- A meta-logic of inference rules: Syntax
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Systematization of finite many-valued logics through the method of tableaux
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Rejection in Łukasiewicz’s and Słupecki’s Sense