Intermediate logics and Visser's rules

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

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

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
• Tutorial on Admissible Rules in Gudauri
• 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
• A Note on Extensions: Admissible Rules via Semantics
• PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
• On the rules of intermediate logics
• Deductive systems with multiple-conclusion rules and the disjunction property
• Multiple Conclusion Rules in Logics with 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
• 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
• 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

   Recommendations

• On the rules of intermediate logics 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)