On the rules of intermediate logics
From MaRDI portal
Publication:2501166
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; zbMATH DE number 5896226
- Intermediate logics and the de Jongh property
Cites work
- scientific article; zbMATH DE number 4139716 (Why is no real title available?)
- scientific article; zbMATH DE number 3487418 (Why is no real title available?)
- scientific article; zbMATH DE number 3448545 (Why is no real title available?)
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A partial analysis of modified realizability
- A propositional calculus with denumerable matrix
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- A(nother) characterization of intuitionistic propositional logic
- Admissibility of logical inference rules
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete.
- Computer Science Logic
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Constructivism in mathematics. An introduction. Volume II
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Hypersequent Calculi for Godel Logics -- a Survey
- Intermediate logics and Visser's rules
- Modal logic
- On formulas of one variable in intuitionistic propositional calculus
- On the admissible rules of intuitionistic propositional logic
- On two problems of Harvey Friedman
- Propositional Calculus and Realizability
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Unification in intuitionistic logic
Cited in
(26)- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- What is an inference rule?
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Proof analysis in intermediate logics
- Intermediate logics and Visser's rules
- Intermediate logics and factors of the Medvedev lattice
- Complexity of admissible rules
- A formal theory of generalized intermediate syllogisms
- Canonical rules
- Admissible rules: from characterizations to applications
- A note on admissible rules and the disjunction property in intermediate logics
- Reflexive intermediate first-order logics
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
- scientific article; zbMATH DE number 4143949 (Why is no real title available?)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- A note on extensions: admissible rules via semantics
- scientific article; zbMATH DE number 6163273 (Why is no real title available?)
- The Unique Intermediate Logic Whose Every Rule is Archetypal
- On unification and admissible rules in Gabbay-de Jongh logics
- Multiple conclusion rules in logics with the disjunction property
- On rules
- Topologies for intermediate logics
- Rules with parameters in modal logic. I.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
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)
