Intermediate logics and Visser's rules
From MaRDI portal
Publication:558441
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
(33)- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- A syntactic approach to unification in transitive reflexive modal logics
- scientific article; zbMATH DE number 7447751 (Why is no real title available?)
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Almost structural completeness; an algebraic approach
- UNIFICATION IN INTERMEDIATE LOGICS
- Complexity of admissible rules
- Admissible inference rules and semantic property of modal logics
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Sugihara algebras: admissibility algebras via the test spaces method
- Canonical rules
- Tutorial on admissible rules in Gudauri
- Realisability for infinitary intuitionistic set theory
- Consequence relations and admissible rules
- Preservation of admissible rules when combining logics
- A note on admissible rules and the disjunction property in intermediate logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- The basic intuitionistic logic of proofs
- On the rules of intermediate logics
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Finite frames fail: how infinity works its way into the semantics of admissibility
- Deductive systems with multiple-conclusion rules and the disjunction property
- A note on extensions: admissible rules via semantics
- Admissibility via natural dualities
- scientific article; zbMATH DE number 6163273 (Why is no real title available?)
- Admissibility and refutation: some characterisations of intermediate logics
- On unification and admissible rules in Gabbay-de Jongh logics
- Multiple conclusion rules in logics with the disjunction property
- Hereditarily structurally complete superintuitionistic deductive systems
- On rules
- Proof theory for admissible rules
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)
