Refutation calculi for certain intermediate propositional logics
From MaRDI portal
Publication:689214
DOI10.1305/NDJFL/1093634486zbMath0789.03021OpenAlexW1990110049MaRDI QIDQ689214
Publication date: 6 December 1993
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093634486
Heyting algebrasintermediate logicsMedvedev's logicfinite logicsLClogic of the weak law of excluded middlelogics without the finite model propertynon-theorems of propositional calculirefutation calculiYankov's logic
Related Items (10)
Syntactic refutations against finite models in modal logic ⋮ Characteristic formulas of partial Heyting algebras ⋮ A Łukasiewicz-style refutation system for the modal logic S4 ⋮ A refutation theory ⋮ On pairs of dual consequence operations ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Maximality and refutability ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions
This page was built for publication: Refutation calculi for certain intermediate propositional logics
