Nonstandard connectives of intuitionistic propositional logic
From MaRDI portal
Publication:1111536
DOI10.1305/NDJFL/1093637931zbMath0658.03005OpenAlexW1964474114MaRDI QIDQ1111536
Publication date: 1988
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093637931
Related Items (6)
A Note on Calculi for Non-deterministic Many-valued Logics ⋮ What is a relevant connective? ⋮ An algebraic approach to intuitionistic connectives ⋮ Calculi for many-valued logics ⋮ Irreflexive modality in the intuitionistic propositional logic and Novikov completeness ⋮ A HEDGE FOR GÖDEL FUZZY LOGIC
This page was built for publication: Nonstandard connectives of intuitionistic propositional logic
