Book Chapter10.1007/978-3-319-15368-1_18

Deciding Theoremhood in Fibred Logics Without Shared Connectives

Sérgio Marcelino,Carlos Caleiro,Pedro Baltazar-2015-01-01-Studies in universal logic

2

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Fibered knotMathematicsComputer sciencePure mathematics

Chat

Click to start Chat