EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

DOI10.1017/bsl.2023.29OpenAlexW4385320133MaRDI QIDQ6072335

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

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

Kripke modelextended framelogical principle

Mathematics Subject Classification ID

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

Related Items (2)

Refining the arithmetical hierarchy of classical principles ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• The de Jongh property for basic arithmetic
• Intermediate logics and the de Jongh property
• Techniques of constructive analysis
• Some principles weaker than Markov's principle
• On the disjunctive Markov principle
• Constructivism in mathematics. An introduction. Volume I
• Markov's principle, Church's thesis and Lindelöf's theorem
• \(\Delta^0_1\) variants of the law of excluded middle and related principles
• On the independence of premiss axiom and rule
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Kripke models and intermediate logics
• A note on the independence of premiss rule
• Constructively Complete Finite Sets
• Syntactic translations and provably recursive functions
• Continuity properties in constructive mathematics
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• On Weak Markov's Principle
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Logic and structure
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Refining the arithmetical hierarchy of classical principles

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