Refutations in Wansing’s Logic
From MaRDI portal
Publication:4609357
DOI10.4467/20842589RM.17.005.7143zbMath1420.03048WikidataQ128737669 ScholiaQ128737669MaRDI QIDQ4609357
Publication date: 29 March 2018
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
Decidability of theories and sets of sentences (03B25) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)
Related Items (2)
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5
This page was built for publication: Refutations in Wansing’s Logic
