Singulary extensional connectives: A closer look

DOI10.1023/A:1004240612163MaRDI QIDQ1362590zbMATH OpenFDO

Authors I. L. Humberstone

Publication date 5 August 1997

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

Full work available at URL https://doi.org/10.1023/A:1004240612163

zbMATH Keywords

extensional 1-ary connectivesgeneralized consequence relationsHasse diagramlatticematrix methodssequents

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• The lattice of extensional connectives: A correction
• On univocal connectives
• Interconnection of the lattices of extensions of four logics
• Extensionality in sentence position
• Nonstandard connectives of intuitionistic propositional logic

Cites work

• 2-element matrices
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• Axiomatization of semigroup consequences
• Equivalential logics. I
• Extensionality in sentence position
• Galois Connexions
• scientific article; zbMATH DE number 4010500 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• Negation by iteration
• The lattice of extensional connectives: A correction
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(13)

• Investigations into a left-structural right-substructural sequent calculus
• False though partly true -- an experiment in logic
• The modal logic of agreement and noncontingency
• Extensionality in sentence position
• The lattice of extensional connectives: A correction
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Explicating logical independence
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• Supervenience, dependence, disjunction
• Aggregation and idempotence
• The pleasures of anticipation: Enriching intuitionistic logic
• Hyperintensionality in relevant logics
• Conditionals and actuality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362590)