On Combined Connectives

@article{Sernadas2011OnCC,
  title={On Combined Connectives},
  author={Am{\'i}lcar Sernadas and Cristina Sernadas and Jo{\~a}o Rasga},
  journal={Logica Universalis},
  year={2011},
  volume={5},
  pages={205-224}
}
Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reasoning about the latter. The calculus is shown to be a conservative extension of the original calculus… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Connectives Stranger than Tonk

J. Philosophical Logic • 2006
View 1 Excerpt

Partial logic

S. Blamey
D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 5, pages 261–353. Springer • 2002
View 1 Excerpt

Similar Papers

Loading similar papers…