Singulary extensional connectives: A closer look
From MaRDI portal
Publication:1362590
DOI10.1023/A:1004240612163zbMATH Open0874.03010MaRDI QIDQ1362590FDOQ1362590
Authors: I. L. Humberstone 
Publication date: 5 August 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
latticeHasse diagrammatrix methodssequentsextensional 1-ary connectivesgeneralized consequence relations
Cites Work
- Galois Connexions
- Theory of logical calculi. Basic theory of consequence operations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equivalential logics. I
- Axiomatization of semigroup consequences
- 2-element matrices
- Extensionality in sentence position
- Title not available (Why is that?)
- A calculus for the common rules of \(\wedge\) and \(\vee\)
- The lattice of extensional connectives: A correction
- Negation by iteration
Cited In (13)
- Hyperintensionality in relevant logics
- The pleasures of anticipation: Enriching intuitionistic logic
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- The modal logic of agreement and noncontingency
- Explicating logical independence
- Investigations into a left-structural right-substructural sequent calculus
- Aggregation and idempotence
- False though partly true -- an experiment in logic
- Conditionals and actuality
- The lattice of extensional connectives: A correction
- Extensionality in sentence position
- Supervenience, dependence, disjunction
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
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)
