Admissibility and refutation: some characterisations of intermediate logics
type: Item
instance of: scholarly article
title: Admissibility and refutation: some characterisations of intermediate logics
zbMATH Open document ID: 1338.03050
author: Jeroen P. Goudsmit
published in: Archive for Mathematical Logic
publication date: 2014-12-15T00:00:00Z
full work available at URL: https://dspace.library.uu.nl/handle/1874/287195
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6380531
zbMATH Keywords: intermediate logic
zbMATH Keywords: admissible rules
zbMATH Keywords: refutation
zbMATH Keywords: Gabbay-de Jongh logics
zbMATH Keywords: Medvedev's logic
MaRDI profile type: Publication
OpenAlex ID: W2031902085
cites work: Refutation calculi for certain intermediate propositional logics
cites work: A refutation theory
cites work: Q3475248
cites work: Extendible formulas in two variables in intuitionistic logic
cites work: The disjunction property of intermediate propositional logics
cites work: Q3128959
cites work: Admissible rules in the implication-negation fragment of intuitionistic logic
cites work: ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
cites work: Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
cites work: A mind of a non-countable set of ideas
cites work: A note on admissible rules and the disjunction property in intermediate logics
cites work: The method of axiomatic rejection for the intuitionistic propositional logic
cites work: One hundred and two problems in mathematical logic
cites work: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
cites work: Unification in intuitionistic logic
cites work: Refutation systems in modal logic
cites work: A Note on Extensions: Admissible Rules via Semantics
cites work: On unification and admissible rules in Gabbay-de Jongh logics
cites work: Q4836217
cites work: Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
cites work: On the admissible rules of intuitionistic propositional logic
cites work: A(nother) characterization of intuitionistic propositional logic
cites work: Intermediate logics and Visser's rules
cites work: Admissible Rules of Modal Logics
cites work: Bases of Admissible Rules of Lukasiewicz Logic
cites work: Disjunction and existence under implication in elementary intuitionistic formalisms
cites work: Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
cites work: Q3226736
cites work: Q5805951
cites work: Q5813911
cites work: On maximal intermediate logics with the disjunction property
cites work: Q3472080
cites work: Derivability of admissible rules
cites work: On two problems of Harvey Friedman
cites work: A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
cites work: Q4489067
cites work: Q4079581
cites work: Q3987719
cites work: Syntactic refutations against finite models in modal logic
cites work: Q4484080
cites work: Intuitionistic Socratic procedures
cites work: Proof of L-decidability of Lewis system S5
cites work: Theory of rejected propositions. I
cites work: The theory of rejected propositions. II
cites work: On Jaskowski-type semantics for the intuitionistic propositional logic
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Theory of logical calculi. Basic theory of consequence operations
cites work: Q4820597
cites work: Q4065518
DOI: 10.1007/S00153-014-0388-5
description: scientific article; zbMATH DE number 6380531