Admissibility and refutation: some characterisations of intermediate logics

DOI10.1007/S00153-014-0388-5MaRDI QIDQ481867zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Refutation calculi for certain intermediate propositional logics
• Refutation systems in modal logic
• On unification and admissible rules in Gabbay-de Jongh logics
• scientific article; zbMATH DE number 1922478
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property

Cites work

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

Cited in

(4)

• scientific article; zbMATH DE number 4158595 (Why is no real title available?)
• scientific article; zbMATH DE number 6606375 (Why is no real title available?)
• Refutation calculi for certain intermediate propositional logics
• Finite frames fail: how infinity works its way into the semantics of admissibility

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q481867)