On finite linear intermediate predicate logics

DOI10.1007/BF00671568zbMath0671.03017OpenAlexW1978651524MaRDI QIDQ1119624

Hiroakira Ono

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00671568

zbMATH Keywords

Kripke framescut-free sequent calculifirst-order predicate intermediate logicsstrongly Kripke-complete

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items (4)

On the predicate logics of finite Kripke frames ⋮ Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics ⋮ On the predicate logic of linear Kripke frames and some of its extensions

Cites Work

• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On finite linear intermediate predicate logics