Replacement in logic

DOI10.1007/s10992-011-9212-4zbMath1280.03011OpenAlexW2011595239MaRDI QIDQ1947034

Lloyd Humberstone

Publication date: 11 April 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-011-9212-4

zbMATH Keywords

modal logicintuitionistic logicreplacementcontextsconsequence relationsclassical logicidentity

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items

AGGREGATION AND IDEMPOTENCE, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditionals and actuality
• Every quotient algebra for \(C_1\) is trivial
• Properties preserved in subdirect products
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• Self-implications in BCI
• Abelian logic and the logics of pointed lattice-ordered varieties
• Investigations into a left-structural right-substructural sequent calculus
• Applications of weak Kripke semantics to intermediate consequences
• Equivalential logics. I
• Intuitionistic logic with strong negation
• BCK and BCI logics, condensed detachment and the 2-property
• On Łukasiewicz's four-valued modal logic
• Identity connective and modality
• A warning about the choice of primitive operators in modal logic
• Axiomatization of the De Morgan type rules
• On a conservative extension argument of Dana Scott
• The sentential calculus using rule of inference R_e
• Replacing Modus Ponens With One-Premiss Rules
• Monotone versus positive
• Algebraizable logics
• Solution to the P − W problem
• Rules and Derived Rules
• The Logic of Equality
• Logical Consequence Inside Out
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Relative necessity
• The independence of connectives
• Two additions to positive implication
• The semisubstitutivity of strict implication
• Widerspruchsfreier Aufbau der Logik I
• Axiom schemes for m-valued functional calculi of first order. Part II
• Protoalgebraic logics