Pseudo two-valued evaluation method for intermediate logics

DOI10.1007/BF01881544zbMath0615.03009OpenAlexW2060124445MaRDI QIDQ1820766

Tsutomu Hosoi

Publication date: 1986

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

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

zbMATH Keywords

intuitionistic logicpseudo two-valued evaluation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (5)

Gentzen-type formulation of the propositional logic LQ ⋮ For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ The simple substitution property of the intermediate propositional logics on finite slices ⋮ The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s

Cites Work

• Unnamed Item

This page was built for publication: Pseudo two-valued evaluation method for intermediate logics