Intermediate logics and Visser's rules

DOI10.1305/NDJFL/1107220674zbMATH Open1102.03032OpenAlexW1982890778WikidataQ56474449 ScholiaQ56474449MaRDI QIDQ558441FDOQ558441

Authors: Rosalie Iemhoff 

Publication date: 6 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1107220674

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

zbMATH Keywords

intermediate logicbasis of admissible rules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)

Cites Work

• Modal logic
• 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
• Unification in intuitionistic logic
• Title not available (Why is that?)
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Hypersequent Calculi for Godel Logics -- a Survey
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Computer Science Logic
• A(nother) characterization of intuitionistic propositional logic

Cited In (33)

• Title not available (Why is that?)
• Admissible inference rules and semantic property of modal logics
• A note on admissible rules and the disjunction property in intermediate logics
• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• On unification and admissible rules in Gabbay-de Jongh logics
• The basic intuitionistic logic of proofs
• Admissible rules in the implication-negation fragment of intuitionistic logic
• 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}\)
• Hereditarily structurally complete superintuitionistic deductive systems
• THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
• Admissibility via natural dualities
• Admissibility and refutation: some characterisations of intermediate logics
• Preservation of admissible rules when combining logics
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• UNIFICATION IN INTERMEDIATE LOGICS
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• Canonical rules
• Tutorial on admissible rules in Gudauri
• Multiple conclusion rules in logics with the disjunction property
• Title not available (Why is that?)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Sugihara algebras: admissibility algebras via the test spaces method
• Finite frames fail: how infinity works its way into the semantics of admissibility
• 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)