Refutation calculi for certain intermediate propositional logics

DOI10.1305/NDJFL/1093634486MaRDI QIDQ689214zbMATH OpenOpenAlexFDO

Authors Tomasz Skura

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

zbMATH Keywords

finite logicsHeyting algebrasintermediate logicsLClogic of the weak law of excluded middlelogics without the finite model propertyMedvedev's logicnon-theorems of propositional calculirefutation calculiYankov's logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

The author opens with a brief account of, and motivation for, Łukasiewicz-style refutation calculi for making an r.e. list of the non-theorems of propositional calculi. He then uses Heyting algebras to develop refutation calculi for the intermediate logics: finite logics, LC, Yankov's logic, the logic of the weak law of excluded middle, Medvedev's logic, and certain logics without the finite model property.

Recommendations

• scientific article; zbMATH DE number 1941685
• Admissibility and refutation: some characterisations of intermediate logics
• scientific article; zbMATH DE number 4158595
• scientific article; zbMATH DE number 1922478

Cited in

(13)

• An improved refutation system for intuitionistic predicate logic
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• Syntactic refutations against finite models in modal logic
• A Łukasiewicz-style refutation system for the modal logic S4
• A refutation theory
• On pairs of dual consequence operations
• DLEAC: a dialetheic logic with exclusive assumptions and conclusions
• Characteristic formulas of partial Heyting algebras
• Schematic refutations of formula schemata
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Admissibility and refutation: some characterisations of intermediate logics
• Jankov-style formulas and refutation systems
• Maximality and refutability

This page was built for publication: Refutation calculi for certain intermediate propositional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689214)