Admissibility and refutation: some characterisations of intermediate logics

DOI10.1007/S00153-014-0388-5zbMath1338.03050OpenAlexW2031902085MaRDI QIDQ481867

Jeroen P. Goudsmit

Publication date: 15 December 2014

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/287195

zbMATH Keywords

admissible rulesintermediate logicrefutationGabbay-de Jongh logicsMedvedev's logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

Finite frames fail: how infinity works its way into the semantics of admissibility

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On unification and admissible rules in Gabbay-de Jongh logics
• Extendible formulas in two variables in intuitionistic logic
• Intermediate logics and Visser's rules
• Admissible rules in the implication-negation fragment of intuitionistic logic
• A note on admissible rules and the disjunction property in intermediate logics
• Refutation calculi for certain intermediate propositional logics
• The method of axiomatic rejection for the intuitionistic propositional logic
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• On maximal intermediate logics with the disjunction property
• On two problems of Harvey Friedman
• The disjunction property of intermediate propositional logics
• Constructivism in mathematics. An introduction. Volume I
• Theory of logical calculi. Basic theory of consequence operations
• Proof of L-decidability of Lewis system S5
• On Jaskowski-type semantics for the intuitionistic propositional logic
• Derivability of admissible rules
• Refutation systems in modal logic
• The theory of rejected propositions. II
• Syntactic refutations against finite models in modal logic
• A refutation theory
• Theory of rejected propositions. I
• On the admissible rules of intuitionistic propositional logic
• Bases of Admissible Rules of Lukasiewicz Logic
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• A Note on Extensions: Admissible Rules via Semantics
• A mind of a non-countable set of ideas
• Intuitionistic Socratic procedures
• Disjunction and existence under implication in elementary intuitionistic formalisms
• One hundred and two problems in mathematical logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Unification in intuitionistic logic
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Admissible Rules of Modal Logics
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• A(nother) characterization of intuitionistic propositional logic

This page was built for publication: Admissibility and refutation: some characterisations of intermediate logics