The following pages link to Reasoning in circles (Q5224693):
Displaying 5 items.
- Analytic calculi for circular concepts by finite revision (Q383558) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)