Decidable variables for constructive logics

DOI10.1002/malq.202000022zbMath1521.03018OpenAlexW3121728303MaRDI QIDQ6047667

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A short proof of Glivenko theorems for intermediate predicate logics
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume II
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• Syntactic translations and provably recursive functions
• On formulas of one variable in intuitionistic propositional calculus
• A note on decidability of variables in intuitionistic propositional logic
• A note on JP'

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