Replacement in logic
type: Item
instance of: scholarly article
title: Replacement in logic
zbMATH Open document ID: 1280.03011
author: Lloyd Humberstone
published in: Journal of Philosophical Logic
publication date: 2013-04-11T00:00:00Z
Mathematics Subject Classification ID: 03B22
zbMATH DE Number: 6153138
zbMATH Keywords: consequence relations
zbMATH Keywords: classical logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: modal logic
zbMATH Keywords: identity
zbMATH Keywords: contexts
zbMATH Keywords: replacement
MaRDI profile type: Publication
full work available at URL: s10992-011-9212-4
OpenAlex ID: W2011595239
cites work: Widerspruchsfreier Aufbau der Logik I
cites work: Monotone versus positive
cites work: The sentential calculus using rule of inference Re
cites work: Q4023235
cites work: Algebraizable logics
cites work: Logical Consequence Inside Out
cites work: Q4485829
cites work: Equivalential logics. I
cites work: Protoalgebraic logics
cites work: On Łukasiewicz's four-valued modal logic
cites work: Intuitionistic logic with strong negation
cites work: Q5827946
cites work: The Logic of Equality
cites work: Axiomatization of the De Morgan type rules
cites work: BCK and BCI logics, condensed detachment and the 2-property
cites work: For Want of an ‘And’: A Puzzle about Non-Conservative Extension
cites work: Investigations into a left-structural right-substructural sequent calculus
cites work: Replacing Modus Ponens With One-Premiss Rules
cites work: On a conservative extension argument of Dana Scott
cites work: Q5411456
cites work: Q3329466
cites work: Self-implications in BCI
cites work: Q3268305
cites work: Properties preserved in subdirect products
cites work: A warning about the choice of primitive operators in modal logic
cites work: Q3967517
cites work: Solution to the P − W problem
cites work: Every quotient algebra for \(C_1\) is trivial
cites work: Abelian logic and the logics of pointed lattice-ordered varieties
cites work: Two additions to positive implication
cites work: Residuation in commutative ordered monoids with minimal zero
cites work: Applications of weak Kripke semantics to intermediate consequences
cites work: A calculus for the common rules of \(\wedge\) and \(\vee\)
cites work: Axiom schemes for m-valued functional calculi of first order. Part II
cites work: Rules and Derived Rules
cites work: Q3952081
cites work: Q4159022
cites work: The independence of connectives
cites work: Relative necessity
cites work: Identity connective and modality
cites work: Q4716271
cites work: Conditionals and actuality
cites work: The semisubstitutivity of strict implication
DOI: 10.1007/S10992-011-9212-4
description: scientific article; zbMATH DE number 6153138