Gentzen and Temporal Sequents
The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trz...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்: | |
|---|---|
| வடிவம்: | Artigo |
| மொழி: | Inglês |
| வெளியிடப்பட்டது: |
Sciendo
2024-12-01
|
| தொடர்: | Studies in Logic, Grammar and Rhetoric |
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://doi.org/10.2478/slgr-2024-0014 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|