On Jaskowski-type semantics for the intuitionistic propositional logic

DOI10.1007/BF02123383zbMath0341.02016MaRDI QIDQ1231484

Stanislaw J. Surma, Stanislaw Zachorowski, Andrzej Wroński

Publication date: 1975

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

Mathematics Subject Classification ID

Model theory (03C99) Intermediate logics (03B55)

Related Items (2)

Admissibility and refutation: some characterisations of intermediate logics ⋮ A semantic hierarchy for intuitionistic logic

Cites Work

• Proof of a conjecture of McKay
• A Note on The Jaśkowski Sequence
• Propositional Calculus and Realizability
• Unnamed Item
• Unnamed Item

This page was built for publication: On Jaskowski-type semantics for the intuitionistic propositional logic