Singulary extensional connectives: A closer look

DOI10.1023/A:1004240612163zbMath0874.03010MaRDI QIDQ1362590

I. L. Humberstone

Publication date: 5 August 1997

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

zbMATH Keywords

latticematrix methodsHasse diagramsequentsextensional 1-ary connectivesgeneralized consequence relations

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (10)

False though partly true -- an experiment in logic ⋮ The modal logic of agreement and noncontingency ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Conditionals and actuality ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence ⋮ 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
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• Equivalential logics. I
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• Axiomatization of semigroup consequences
• Extensionality in sentence position
• The lattice of extensional connectives: A correction
• Negation by iteration
• Galois Connexions

This page was built for publication: Singulary extensional connectives: A closer look