Unified deductive systems: an outline
From MaRDI portal
Publication:6146292
DOI10.1007/s11787-023-00335-xOpenAlexW4386986125MaRDI QIDQ6146292
Publication date: 10 January 2024
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-023-00335-x
propositional logicmultiple conclusion rulesdeductive system with rejectionlogic with refutationlogic with rejection
Cites Work
- The logic with truth and falsehood operators from a point of view of universal logic
- On inference from inconsistent premisses
- Judgment and consequence relations
- A meta-logic of inference rules: Syntax
- On the logic of theory change: Partial meet contraction and revision functions
- Rules and Derived Rules
- Rejection
- Rejection in Łukasiewicz’s and Słupecki’s Sense
- Deducibility and many-valuedness
- Hybrid logic and its proof-theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item