Constructions and negationless logic

DOI10.1007/BF02120815zbMath0287.02015OpenAlexW2089869743MaRDI QIDQ1845717

Yanyan Li

Publication date: 1972

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

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

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (3)

Executability and connexivity in an interpretation of Griss ⋮ Double negation as minimal negation ⋮ A complete negationless system

Cites Work

• Non-null implication
• On weak completeness of intuitionistic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructions and negationless logic