Recommendations
- On the rules of intermediate logics
- scientific article; zbMATH DE number 1463088
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Admissible Rules of Lukasiewicz Logic
- Independent Bases of Admissible Rules
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Describing a basis in semireduced form for inference rules of intuitionistic logic
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Rules of inference with parameters for intuitionistic logic
- On rules
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- 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
- Computer Science Logic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Hypersequent Calculi for Godel Logics -- a Survey
- Modal logic
- On the admissible rules of intuitionistic propositional logic
- Unification in intuitionistic logic
Cited in
(36)- Admissible inference rules and semantic property of modal logics
- A note on admissible rules and the disjunction property in intermediate logics
- scientific article; zbMATH DE number 7447751 (Why is no real title available?)
- On rules
- A syntactic approach to unification in transitive reflexive modal logics
- On unification and admissible rules in Gabbay-de Jongh logics
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Admissible rules in the implication-negation fragment of intuitionistic logic
- The basic intuitionistic logic of proofs
- Almost structural completeness; an algebraic approach
- Complexity of admissible rules
- Consequence relations and admissible rules
- Proof theory for admissible rules
- Realisability for infinitary intuitionistic set theory
- On the rules of intermediate logics
- Deductive systems with multiple-conclusion rules and the disjunction property
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Relative unification in intuitionistic logic: towards the provability logic of HA
- Hereditarily structurally complete superintuitionistic deductive systems
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Admissibility and refutation: some characterisations of intermediate logics
- Constructive validity of a generalized Kreisel-Putnam rule
- Admissibility via natural dualities
- Preservation of admissible rules when combining logics
- UNIFICATION IN INTERMEDIATE LOGICS
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Unification in subsystems of polymodal provability logic GLP
- Tutorial on admissible rules in Gudauri
- Canonical rules
- Multiple conclusion rules in logics with the disjunction property
- scientific article; zbMATH DE number 6163273 (Why is no real title available?)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Finite frames fail: how infinity works its way into the semantics of admissibility
- Sugihara algebras: admissibility algebras via the test spaces method
- A note on extensions: admissible rules via semantics
This page was built for publication: Intermediate logics and Visser's rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558441)
