Describing a basis in semireduced form for inference rules of intuitionistic logic

zbMATH Open0973.03009MaRDI QIDQ2746913

Vladimir V. Rybakov, V. V. Rimatskij, M. Terziler

Publication date: 11 October 2001

Published in: Algebra i Logika (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187955

zbMATH Keywords

intuitionistic logicsuperintuitionistic logicbasis for admissible inference ruleslogic of the weak law of excluded middle

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Admissible Rules of Lukasiewicz Logic ⋮ Intermediate logics and Visser's rules ⋮ Canonical rules

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• A semantic hierarchy for intuitionistic logic 👍 👎
• On some semi-intuitionistic logics 👍 👎
• Rules of inference with parameters for intuitionistic logic 👍 👎
• Base-extension semantics for intuitionistic sentential logic 👍 👎
• A deductive-reductive form of logic: General theory and intuitionistic case 👍 👎
• Reductions in Intuitionistic Linear Logic 👍 👎
• Intuitionistic Basis for Input/Output Logic 👍 👎

This page was built for publication: Describing a basis in semireduced form for inference rules of intuitionistic logic