Singulary extensional connectives: A closer look
From MaRDI portal
Publication:1362590
DOI10.1023/A:1004240612163zbMath0874.03010MaRDI QIDQ1362590
Publication date: 5 August 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
lattice; matrix methods; Hasse diagram; sequents; extensional 1-ary connectives; generalized consequence relations
03B22: Abstract deductive systems
Related Items
Supervenience, Dependence, Disjunction, AGGREGATION AND IDEMPOTENCE, The pleasures of anticipation: Enriching intuitionistic logic, Conditionals and actuality, Investigations into a left-structural right-substructural sequent calculus, False though partly true -- an experiment in logic, The modal logic of agreement and noncontingency, Explicating logical independence, Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
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