Admissibility and refutation: some characterisations of intermediate logics

DOI10.1007/S00153-014-0388-5zbMATH Open1338.03050OpenAlexW2031902085MaRDI QIDQ481867FDOQ481867

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

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

zbMATH Keywords

admissible rules intermediate logic refutation Gabbay-de Jongh logics Medvedev's logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

Title not available (Why is that?)
Title not available (Why is that?)
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)