Decidable variables for constructive logics

DOI10.1002/MALQ.202000022MaRDI QIDQ6047667zbMATH OpenOpenAlexFDO

Authors Satoru Niki

Publication date 12 September 2023

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

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• A note on decidability of variables in intuitionistic propositional logic
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• scientific article; zbMATH DE number 16511
• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• scientific article; zbMATH DE number 4143949

Cites work

• A note on decidability of variables in intuitionistic propositional logic
• A note on JP'
• A short proof of Glivenko theorems for intermediate predicate logics
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• On formulas of one variable in intuitionistic propositional calculus
• Syntactic translations and provably recursive functions

Cited in

(4)

• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• A note on decidability of variables in intuitionistic propositional logic
• Continua of logics related to intuitionistic and minimal logics
• Variable declarations in natural deduction

This page was built for publication: Decidable variables for constructive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047667)