A note on the independence of premiss rule

DOI10.1002/MALQ.201500032zbMath1357.03039OpenAlexW2511698788MaRDI QIDQ2793909

Takako Nemoto, Hajime Ishihara

Publication date: 17 March 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201500032

zbMATH Keywords

intuitionistic predicate logicintuitionistic arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (4)

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ On the independence of premiss axiom and rule ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

Cites Work

• Some principles weaker than Markov's principle
• Syntactic translations and provably recursive functions
• Unnamed Item

This page was built for publication: A note on the independence of premiss rule