Notre Dame Journal of Formal Logic

Refutation calculi for certain intermediate propositional logics.

Tomasz Skura

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 33, Number 4 (1992), 552-560.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093634486

Digital Object Identifier
doi:10.1305/ndjfl/1093634486

Mathematical Reviews number (MathSciNet)
MR1199997

Zentralblatt MATH identifier
0789.03021

Subjects
Primary: 03B55: Intermediate logics
Secondary: 03B25: Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]

Citation

Skura, Tomasz. Refutation calculi for certain intermediate propositional logics. Notre Dame J. Formal Logic 33 (1992), no. 4, 552--560. doi:10.1305/ndjfl/1093634486. https://projecteuclid.org/euclid.ndjfl/1093634486


Export citation