EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

DOI10.1017/BSL.2023.29MaRDI QIDQ6072335zbMATH OpenOpenAlexFDO

Authors Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama

Publication date 13 October 2023

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/bsl.2023.29

zbMATH Keywords

extended frameKripke modellogical principle

Mathematics Subject Classification ID

Intermediate logics (03B55) Other model constructions (03C30) Metamathematics of constructive systems (03F50)

Cites work

• \(\Delta^0_1\) variants of the law of excluded middle and related principles
• A note on the independence of premiss rule
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Constructively Complete Finite Sets
• Constructivism in mathematics. An introduction. Volume I
• Continuity properties in constructive mathematics
• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3342820 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• Intermediate logics and the de Jongh property
• Interrelation between weak fragments of double negation shift and related principles
• Kripke models and intermediate logics
• Logic and structure
• Markov's principle, Church's thesis and Lindelöf's theorem
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the disjunctive Markov principle
• On the independence of premiss axiom and rule
• On Weak Markov's Principle
• Refining the arithmetical hierarchy of classical principles
• Some principles weaker than Markov's principle
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Syntactic translations and provably recursive functions
• Techniques of constructive analysis
• The de Jongh property for basic arithmetic

Cited in

(4)

• Refining the arithmetical hierarchy of classical principles
• CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
• On the hierarchy of linearity axioms
• On the ^0_1-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis

This page was built for publication: EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

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