On the rules of intermediate logics
From MaRDI portal
Publication:2501166
DOI10.1007/S00153-006-0320-8zbMATH Open1096.03025DBLPjournals/aml/Iemhoff06OpenAlexW2000217311WikidataQ56474450 ScholiaQ56474450MaRDI QIDQ2501166FDOQ2501166
Publication date: 4 September 2006
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-006-0320-8
Recommendations
- scientific article; zbMATH DE number 3873298
- Intermediate logics and Visser's rules
- scientific article; zbMATH DE number 3300568
- scientific article; zbMATH DE number 3841822
- On intermediate justification logics
- scientific article; zbMATH DE number 4043820
- scientific article; zbMATH DE number 3999891
- Some results on intermediate constructive logics
- scientific article
- Intermediate logics and the de Jongh property
admissible rulesrealizabilityintermediate logicsMedvedev logicIndependence of PremiseRieger-Nishimura formulasVisser rules
Cites Work
- Modal logic
- On two problems of Harvey Friedman
- Admissibility of logical inference rules
- On the admissible rules of intuitionistic propositional logic
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- Unification in intuitionistic logic
- Intermediate logics and Visser's rules
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Title not available (Why is that?)
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Propositional Calculus and Realizability
- Hypersequent Calculi for Godel Logics -- a Survey
- Constructivism in mathematics. An introduction. Volume II
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Computer Science Logic
- A(nother) characterization of intuitionistic propositional logic
- On formulas of one variable in intuitionistic propositional calculus
- A partial analysis of modified realizability
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete.
- Title not available (Why is that?)
Cited In (23)
- A note on admissible rules and the disjunction property in intermediate logics
- The Unique Intermediate Logic Whose Every Rule is Archetypal
- On unification and admissible rules in Gabbay-de Jongh logics
- Intermediate logics and Visser's rules
- Complexity of admissible rules
- Intermediate logics and factors of the Medvedev lattice
- A formal theory of generalized intermediate syllogisms
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Rules with parameters in modal logic. I.
- Reflexive intermediate first-order logics
- Topologies for intermediate logics
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Multiple Conclusion Rules in Logics with the Disjunction Property
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Title not available (Why is that?)
- What is an inference rule?
- Proof analysis in intermediate logics
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Canonical rules
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
- Title not available (Why is that?)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
This page was built for publication: On the rules of intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2501166)
