Explicating logical independence

DOI10.1007/s10992-019-09516-wzbMath1484.03003OpenAlexW2946278411WikidataQ127799166 ScholiaQ127799166MaRDI QIDQ2301324

Lloyd Humberstone

Publication date: 24 February 2020

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

Full work available at URL: https://doi.org/10.1007/s10992-019-09516-w

zbMATH Keywords

rulesalgebraic independenceconsequence relationslogical independence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

Things may not be simple: on Wittgenstein's internal relations ⋮ A simple logic of functional dependence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why conclusions should remain single
• Theory of 2-structures. I: Clans, basic subclasses, and morphisms
• Generalized equivalence: A pattern of mathematical expression
• Modal logics with functional alternative relations
• Consequences, consistency and independence in Boolean algebras
• A sieve for entailments
• Relevance: A fallacy?
• Independent propositional modal logics
• Common sense and relevance
• A perspective on modal sequent logic
• An alternative rule of disjunction in modal logic
• Classical relevant logics. II
• Absolutely independent axiomatizations for countable sets in classical logic
• Independent axiomatizability of sets of sentences
• Functional dependencies, supervenience, and consequence relations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Singulary extensional connectives: A closer look
• Functional dependencies between variables
• Propositional inquisitive logic: a survey
• Declarations of independence
• Archetypal forms of inference
• Intuitive semantics for first-degree entailments and `coupled trees'
• Elementary propositions and independence
• Dependence and independence
• De Morgan functions and free De Morgan algebras.
• An abelian rule for BCI -- and variations
• What kind of independence do we need for multiple iterated belief change?
• A characterization of the concept of independence in knowledge structures
• Normal form generation of S5 functions via truth functions
• A warning about the choice of primitive operators in modal logic
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• On the Negative Disjunction Property
• Modal Foundations for Predicate Logic
• Relevant implication
• "Flexible" Predicates of Formal Number Theory
• The uniqueness of atomic facts in Wittgenstein's Tractatus
• Some old and new problems in the independence theory
• What is an inference rule?
• POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
• Of A and B being logically independent of each other and of their having no common factual content
• Embeddings of propositional monomodal logics
• CLASSICALLY ARCHETYPAL RULES
• An infinity of super-Belnap logics
• The decidability of dependency in intuitionistic propositional logic
• Adding 4.0241 to TLP
• Dependency as Question Entailment
• Supervenience, Dependence, Disjunction
• On Dependence Logic
• The Semantics of First Degree Entailment
• A Very Independent Axiom System
• The independence of connectives
• Independence in algebras of sets and Boolean algebras
• Sheffer Functions in Intuitionistic Logic
• Four Notions of Independence
• The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus
• Deducibility and many-valuedness
• Indeterminist time and truth‐value gaps¹
• On intermediate propositional logics
• A system of completely independent axioms for the sequence of natural numbers
• A nonstandard approach to the logical omniscience problem
• The pleasures of anticipation: Enriching intuitionistic logic

This page was built for publication: Explicating logical independence